[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/unspecified_access_call_bts0888.i (no preprocessing)
tests/syntax/unspecified_access_call_bts0888.i:9:[kernel] warning: Unspecified sequence with side effect:
                  /* y x <-  */
                  y = 2;
                  x = f(y);
                  /* z <-  */
                  z = 3;
                  /* y <-  */
                  y = x + z;
tests/syntax/unspecified_access_call_bts0888.i:10:[kernel] warning: Unspecified sequence with side effect:
                  /* y x <-  */
                  y = 2;
                  x = f(y);
                  /* z <- y */
                  z = x + y;
tests/syntax/unspecified_access_call_bts0888.i:11:[kernel] warning: Unspecified sequence with side effect:
                  /* y x <-  */
                  y = 2;
                  x = f(y);
                  /* y <-  */
                  y = 3;
                  /* y <-  */
                  y = x + y;
/* Generated by Frama-C */
extern int f(int);

int main(void)
{
  int __retres;
  int x;
  int y;
  int z;
  x = 2;
  x = f(x);
  { /* sequence */
    y = 2;
    x = f(y);
    z = 3;
    y = x + z;
  }
  { /* sequence */
    y = 2;
    x = f(y);
    z = x + y;
  }
  { /* sequence */
    y = 2;
    x = f(y);
    y = 3;
    y = x + y;
  }
  __retres = 0;
  return __retres;
}


