How can I set in Polyspace a *Pointer_TO_BOOLEAN to be recognized as an effective boolean type?

조회 수: 1 (최근 30일)

Cristian PASCALAU 2016년 11월 29일

0
링크

이 질문에 대한 바로 가기 링크

https://kr.mathworks.com/matlabcentral/answers/314510-how-can-i-set-in-polyspace-a-pointer_to_boolean-to-be-recognized-as-an-effective-boolean-type

댓글: Lorenz Mende 2017년 6월 23일

How can I set in Polyspace to recognize that a dereferenced pointer to Boolean (*Pointer_To_Boolean)is an effective boolean type? Because it recongnizes it as an unsigned char (Boolean type is "typedef unsigned char BOOL").

Thank you,

Cristian PASCALAU

댓글 수: 2
없음 표시없음 숨기기

Lucas Lebert 2016년 12월 7일

To my knowledge this is not possible.

Lorenz Mende 2017년 6월 23일

Hi Lucas, I think this is related to a bug with the effective tpye. We experienced a similar behavior with MISRA-C:2012 rules 10.3, currently we are updating to R2017a to look if the bug is fixed. I report if I have a solution.

댓글을 달려면 로그인하십시오.

이 질문에 답변하려면 로그인하십시오.