[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/fct_ptr.c (with preprocessing)
/* Generated by Frama-C */
int x;
void inc(void)
{
  x ++;
  return;
}

void dec(void)
{
  x --;
  return;
}

void (*f)(void) = & dec;
void (*g)(void) = & inc;
void call(void (*x_0)(void))
{
  (*x_0)();
  return;
}

/*@ predicate foo{L}= \at(f ≡ &dec ∨ f ≡ &inc,L);

*/

