enum_call.res.oracle

[kernel] Parsing tests/syntax/enum_call.i (no preprocessing)
/* Generated by Frama-C */
enum E {
    C0 = 0,
    C1 = 1,
    C2 = 2
};
void f(enum E const);

void f1(enum E);

void g(void)
{
  f((enum E)C0);
  f1((enum E)C2);
  return;
}

void h(void)
{
  f(C1);
  f1(C0);
  return;
}