Polyspace limitation:fixed point type is not supported from the file tricore.h, which exists in MATLAB/pol​yspace/ver​ifier/exte​nsions/..

I want to do a static analysis and MISRA compliance check on my code. I have polyspace 2018B. When I set my project up and start running bug finder, I see failed compilation due to limiation:fixed point type is not supported. The error comes from polyspace\extensions\tasking\...\tricore.h. This is a file that I don't use while I compile in eclipse. When I try to run bug finder, It just doesn't compile.

Answer 1

[Anirban]

As of release R2019b, the fixed-point types of the Tasking compiler are not supported. If you do not use these types anyway, you can work around this problem by substitution of the unsupported types with more familiar types. For instance:

-D__sfract=float

-D__fract=float

-D__laccum=double

Note that the substitution only occurs for the purposes of the Polyspace analysis and does not actually occur in your code (even if you were using these types).

For more information on the option -D, see https://www.mathworks.com/help/bugfinder/ref/preprocessordefinitionsd.html.