[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/loop_annot.i (no preprocessing)
/* Generated by Frama-C */
void f(void)
{
  int i;
  i = 0;
  /*@ loop invariant 0 ≤ i ≤ 10; */
  while (i < 10) {
    i ++;
    /*@ assert 0 ≤ i ≤ 10; */ ;
  }
  while_0_break: ;
  return;
}


