Polyspace compile error for "_Bool" type name by using diab compiler
조회 수: 4 (최근 30일)
이전 댓글 표시
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:

We know the C99 standard using "_Bool" as default boolean type, but we check the "C90 standard", still not work!

It not happened when we select other compilers!
댓글 수: 0
답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Troubleshoot Project Creation에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!