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

1 次查看（过去 30 天）
Cristian PASCALAU
Cristian PASCALAU 2016-11-29
评论： Lorenz Mende 2017-6-23
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 个评论
Lorenz Mende
Lorenz Mende 2017-6-23
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.

请先登录，再进行评论。

请先登录，再回答此问题。

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by