How can I define TI C2000 compilers for Polyspace bug finder
3 views (last 30 days)
Show older comments
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 Comments
Oliver Müller
on 1 Feb 2021
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.
Answers (1)
Christian Bard
on 9 Mar 2021
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:
0 Comments
See Also
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!