[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/merge_inline_1.c (with preprocessing)
[kernel] Parsing tests/syntax/merge_inline_2.c (with preprocessing)
[kernel] Repeat final merging phase: tests/syntax/merge_inline_2.c
/* Generated by Frama-C */
__inline int foo(int x);

__inline int foo(int x)
{
  return x;
}

int getfoo2(void);

int main(void)
{
  int __retres;
  int tmp;
  { /* sequence */
    tmp = getfoo2();
    ;
  }
  if (tmp != (int)(& foo)) {
    __retres = 1;
    goto return_label;
  }
  __retres = 0;
  return_label: return __retres;
}

__inline int foo(int x);

int getfoo2(void)
{
  int __retres;
  __retres = (int)(& foo);
  return __retres;
}


