"Error Limitation : fixed point type is not supported" in POLYSPACE R2021a
3 views (last 30 days)
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.
atharva on 7 Dec 2023
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:
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!
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings