Why do I receive a compilation error for my analysis with enum in PolySpace?
显示 更早的评论
I use the following simple code to define an enumeration:
enum EnumTyp {A,B,C,D} ;
int main(void)
{ EnumTyp x;
x = A;
x = x + B;
}
But I get the following error message in PolySpace when starting my C-analysis:
Verifying PolySpace_enum_test.c
test.c:4: undeclared identifier `EnumTyp'
test.c:4: syntax error; found `x' expecting `;'
test.c:4: undeclared identifier `x'
采纳的回答
MathWorks Support Team
2009-6-27
For a valid declaration of enum in C, use the code below:
enum EnumTyp {A,B,C,D} ;
int main(void)
{ enum EnumTyp x;
x = A;
x = x + B;
}
The code original code is valid for an enum declaration in C++.
更多回答（0 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息
2009-6-27
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
