Polyspace compile error for "_Bool" type name by using diab compiler

4 ビュー (過去 30 日間)
Gabe Xu
Gabe Xu 2019 年 7 月 19 日
We have a self-defined type named "_Bool", as below:
typedef unsigned char uint8_t;
typedef uint8_t _Bool;
When we do the Code prover analysis of the C file, it popup error:
3.jpg
We know the C99 standard using "_Bool" as default boolean type, but we check the "C90 standard", still not work!
4.jpg
It not happened when we select other compilers!

回答 (0 件)

Community Treasure Hunt

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

Start Hunting!

Translated by