How can I define TI C2000 compilers for Polyspace bug finder

15 views (last 30 days)
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
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.

Sign in to comment.

Answers (1)

Christian Bard
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:

Community Treasure Hunt

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

Start Hunting!