[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/bts0283.c (with preprocessing)
tests/spec/bts0283.c:5:[kernel] warning: incompatible types ℤ and int *. Ignoring code annotation
tests/spec/bts0283.c:7:[kernel] warning: incompatible types int and int *
                  . Ignoring code annotation
/* Generated by Frama-C */
int b;
int *p;
/*@ requires p ≢ (int *)0; */
int main(void)
{
  int __retres;
  if (b) p = (int *)4; else p = (int *)7;
  __retres = 1;
  return __retres;
}


