How can I define TI C2000 compilers for Polyspace bug finder

11 views (last 30 days)
Rehab Mansour
Rehab Mansour on 19 Nov 2020
Answered: Christian Bard on 9 Mar 2021
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
Oliver Müller
Oliver Müller on 1 Feb 2021
Depending on what you want to check you can just define
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)

Community Treasure Hunt

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

Start Hunting!