enum1.res.oracle

[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;
}