MATLAB Answers

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.

  댓글 수: 0

로그인 to comment.

답변 수: 1

Anirban 님의 답변 7 Nov 2019
Anirban 님이 편집함. 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).

  댓글 수: 0

로그인 to comment.



Translated by