Filter löschen
Filter löschen

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

1 Ansicht (letzte 30 Tage)
Cristian PASCALAU
Cristian PASCALAU am 29 Nov. 2016
Kommentiert: Lorenz Mende am 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 Kommentare
Lorenz Mende
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.

Melden Sie sich an, um zu kommentieren.

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (0)

Kategorien

Mehr zu Run Settings finden Sie in Help Center und File Exchange

Tags

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by