[kernel] Parsing tests/syntax/enum1.c (with preprocessing) [kernel] Parsing tests/syntax/enum2.c (with preprocessing) [kernel] Warning: merging definitions of enum f using int type (different names for enumeration items); items {F21=0, F22=1} and {F11=0, F12=1} /* Generated by Frama-C */ enum e { E1 = 0, E2 = 1 }; enum __anonenum_1 { K11 = 0, K12 = 1 }; enum __anonenum_3 { I1 = 0, I2 = 1 }; enum Foo { EN1 = 0, EN2 = 1, EN3 = 2 }; enum __anonenum_0 { K21 = 0, K22 = 1 }; int e1(void) { int __retres; __retres = E1; return __retres; } int f1(void) { int __retres; __retres = 0; return __retres; } int k1(void) { int __retres; __retres = K11; return __retres; } int i1(void) { int __retres; __retres = I1; return __retres; } int f(void) { int __retres; __retres = ! EN1; return __retres; } int g(void) { int __retres; __retres = EN1; return __retres; } int e2(void) { int __retres; __retres = E2; return __retres; } int f2(void) { int __retres; __retres = 1; return __retres; } int k2(void) { int __retres; __retres = K22; return __retres; } int i2(void) { int __retres; __retres = I2; return __retres; }