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

5 views (last 30 days)
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!

Answers (0)

Community Treasure Hunt

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

Start Hunting!