MATLAB Answers

How can I define TI C2000 compilers for Polyspace bug finder

7 ビュー (過去 30 日間)
Rehab Mansour
Rehab Mansour 2020 年 11 月 19 日
回答済み: Christian Bard 2021 年 3 月 9 日
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 件のコメント
Oliver Müller
Oliver Müller 2021 年 2 月 1 日
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.


回答 (1 件)

Christian Bard
Christian Bard 2021 年 3 月 9 日
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