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

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

[Lucas Lebert]

To my knowledge this is not possible.

[Lorenz Mende]

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.