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

1 view (last 30 days)
Cristian PASCALAU
Cristian PASCALAU on 29 Nov 2016
Commented: Lorenz Mende on 23 Jun 2017
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 Comments
Lorenz Mende
Lorenz Mende on 23 Jun 2017
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.

Sign in to comment.

Sign in to answer this question.

Answers (0)

Categories

Find more on Polyspace Code Prover in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!