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!
