[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/unroll_const.i (no preprocessing)
/* Generated by Frama-C */
struct __anonstruct_u_1 {
   int i1 ;
   int i2 ;
};
struct v {
   int k ;
   int l ;
};
struct s {
   int i ;
   int j ;
   struct v v ;
};
int const t[4] = {4, 2};
struct __anonstruct_u_1 const u[3] =
  {{.i1 = 2, .i2 = 5}, {.i1 = 3, .i2 = 7}};
struct s const s = {.i = 5, .j = 8, .v = {.k = 3, .l = 0}};
int volatile c;
void main(void)
{
  unsigned int i;
  i = (unsigned int)0;
  if (! c) goto unrolling_2_loop;
  i ++;
  unrolling_6_loop: ;
  if (! c) goto unrolling_2_loop;
  i ++;
  unrolling_5_loop: ;
  if (! c) goto unrolling_2_loop;
  i ++;
  unrolling_4_loop: ;
  if (! c) goto unrolling_2_loop;
  i ++;
  unrolling_3_loop: ;
  /*@ loop pragma UNROLL sizeof(t)/sizeof(t[0]);
      loop pragma UNROLL "done", 4;
  */
  while (c) i ++;
  unrolling_2_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_20_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_19_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_18_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_17_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_16_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_15_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_14_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_13_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_12_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_11_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_10_loop: ;
  if (! c) goto unrolling_8_loop;
  i ++;
  unrolling_9_loop: ;
  /*@ loop pragma UNROLL \offset(&s.v.l);
      loop pragma UNROLL "done", 12; */
  while (c) i ++;
  unrolling_8_loop: ;
  if (! c) goto unrolling_22_loop;
  i ++;
  unrolling_27_loop: ;
  if (! c) goto unrolling_22_loop;
  i ++;
  unrolling_26_loop: ;
  if (! c) goto unrolling_22_loop;
  i ++;
  unrolling_25_loop: ;
  if (! c) goto unrolling_22_loop;
  i ++;
  unrolling_24_loop: ;
  if (! c) goto unrolling_22_loop;
  i ++;
  unrolling_23_loop: ;
  /*@ loop pragma UNROLL s.i+s.v.l;
      loop pragma UNROLL "done", 5; */
  while (c) i ++;
  unrolling_22_loop: ;
  if (! c) goto unrolling_29_loop;
  i ++;
  unrolling_33_loop: ;
  if (! c) goto unrolling_29_loop;
  i ++;
  unrolling_32_loop: ;
  if (! c) goto unrolling_29_loop;
  i ++;
  unrolling_31_loop: ;
  if (! c) goto unrolling_29_loop;
  i ++;
  unrolling_30_loop: ;
  /*@ loop pragma UNROLL \max(t[..]);
      loop pragma UNROLL "done", 4; */
  while (c) i ++;
  unrolling_29_loop: ;
  /*@ loop pragma UNROLL \min(t[..]); */
  while (c) i ++;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_41_loop: ;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_40_loop: ;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_39_loop: ;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_38_loop: ;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_37_loop: ;
  if (! c) goto unrolling_35_loop;
  i ++;
  unrolling_36_loop: ;
  /*@ loop pragma UNROLL \max(\union(1, 1+s.i));
      loop pragma UNROLL "done", 6;
  */
  while (c) i ++;
  unrolling_35_loop: ;
  if (! c) goto unrolling_43_loop;
  i ++;
  unrolling_45_loop: ;
  if (! c) goto unrolling_43_loop;
  i ++;
  unrolling_44_loop: ;
  /*@ loop pragma UNROLL \min(t[\union(1, 3)])+\max(t[\union(1, 3)]);
      loop pragma UNROLL "done", 2;
  */
  while (c) i ++;
  unrolling_43_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_53_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_52_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_51_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_50_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_49_loop: ;
  if (! c) goto unrolling_47_loop;
  i ++;
  unrolling_48_loop: ;
  /*@ loop pragma UNROLL \min(u[.. 1].i1)*\max(u[.. 1].i1);
      loop pragma UNROLL "done", 6;
  */
  while (c) i ++;
  unrolling_47_loop: ;
  return;
}


