"Error Limitation : fixed point type is not supported" in POLYSPACE R2021a
4 views (last 30 days)
Show older comments
Hii there, I am currently working on generating a static analysis report based on MISRA 2012 using Polyspace R2021a. However, I've encountered a challenge during the compilation process. Specifically, I am facing an error that states "Limitation: fixed-point type is not supported" in <tricore.h> file.
If there are specific resources or steps you recommend, please let me know. Your support in this matter is highly valued.
0 Comments
Answers (1)
atharva
on 7 Dec 2023
Hey Shreyas,
I understand that you are facing the error "Limitation: fixed-point type is not supported" in <tricore.h> file.
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.
This will allow the code to be compiled.
Warnings: Fixed points are not floats in terms of representation. So the values may be different between a real execution and the analysis made by Bug Finder.
I hope this helps!
See Also
Categories
Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!