How can I define TI C2000 compilers for Polyspace bug finder

5 次查看（过去 30 天）
Rehab Mansour
Rehab Mansour 2020-11-19
回答： Christian Bard 2021-3-9
Hello ,
I am trying to use Polyspace bug finder on a c code compiled with TI C2000 for a F28335 Target ,the compiler is not supported by polyspace (Link) ,So I tried to define it like this :
if I choose Compiler as GNU ,it gives an error
Error: Option -char-is-16bits cannot be used with GNU compiler, for -target mcpu.
Launch polyspace-bug-finder -h to get help
or type polyspaceBugFinder -h in the MATLAB command prompt.
If I choose compiler as generic it fails compilation in tool chain include header file stdint.h
Error: function call is not allowed in a constant expression
#if __has_include(<sys/stdint.h>)
^
I am running polyspace on code composer studio .
Thank you
  2 个评论
Adam Bouwens
Adam Bouwens 2021-1-27
I am having this exact same problem using Polyspace 2018a and the TI Compiler C2000 version 18.2.3.LTS. Is there a way to configure Polyspace to avoid the error or is this feature simply not included and I have to use an older compiler toolset that doesn't use the __has_include C preprocessor function?
Oliver Müller
Oliver Müller 2021-2-1
Depending on what you want to check you can just define
__has_include(X)=1
in the Macros menu. or go with the -regex-replace-rgx commandline option if you want to define something more complex via regex.

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Christian Bard
Christian Bard 2021-3-9
Hi,
That is recommended to use polyspace-configure on the build chain to get the set of option and target values for a TI C2000. See doc below:
(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line - MATLAB polyspace-configure (mathworks.com)

类别

在 Help Center 和 File Exchange 中查找有关 Target and Compiler 的更多信息

标签

产品


版本

R2020a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by