[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/ghost_lexing.i (no preprocessing)
/* Generated by Frama-C */
int G = 0;
char const *foo = "foo";
extern void test(char const *);

void test2(int x)
{
  /*@ ghost int y; */
  /*@ ghost y = 0; */
  /*@ ghost if (x > 0) y = x * x; */
  G = x * x;
  test(foo);
  return;
}


