Polyspace limitation:fixed point type is not supported from the file tricore.h, which exists in MATLAB/polyspace/verifier/extensions/..
4 views (last 30 days)
Show older comments
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.
0 Comments
Answers (1)
Anirban
on 7 Nov 2019
Edited: Anirban
on 8 Nov 2019
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.
0 Comments
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Products
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!