How can I define TI C2000 compilers for Polyspace bug finder

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

[Adam Bouwens]

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]

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.

Answer 1

[Christian Bard]

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)