How can I define TI C2000 compilers for Polyspace bug finder

5 次查看(过去 30 天)
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:

Community Treasure Hunt

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

Start Hunting!

Translated by