How can I set in Polyspace a *Pointer_TO_BOOLEAN to be recognized as an effective boolean type?
Show older comments
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
Lucas Lebert
on 7 Dec 2016
To my knowledge this is not possible.
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.
Answers (0)
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
on 29 Nov 2016
on 23 Jun 2017
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
