How can I set in Polyspace a *Pointer_TO_BOOLEAN to be recognized as an effective boolean type?
1 Ansicht (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentare
Lorenz Mende
am 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.
Antworten (0)
Siehe auch
Kategorien
Mehr zu Run Settings finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!