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'

Answer 1

[MathWorks Support Team]

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++.