[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/m12_2.i (no preprocessing)
tests/misc/m12_2.i:51:[kernel] warning: Unspecified sequence with side effect:
                  /* y <- i */
                  y = i;
                  y ++;
                  /*  <-  */
                  tmp = i;
                  /* i <-  */
                  i ++;
                  /* z <- tmp */
                  z = y + tmp;
tests/misc/m12_2.i:55:[kernel] warning: Unspecified sequence with side effect:
                  /* i <-  */
                  i ++;
                  /* y <- i */
                  y = i;
                  y ++;
                  /* z <-  */
                  z = i + y;
tests/misc/m12_2.i:59:[kernel] warning: Unspecified sequence with side effect:
                  /* x <- tmp_1 */
                  x = 3;
                  { /* sequence */
                    tmp_1 = x;
                    x ++;
                  }
                  
                  /*  <- x */
tests/misc/m12_2.i:63:[kernel] warning: Unspecified sequence with side effect:
                  /*  <-  */
                  tmp_2 = i;
                  /* i <-  */
                  i ++;
                  /* z <- i tmp_2 */
                  z = i + tmp_2;
tests/misc/m12_2.i:67:[kernel] warning: Unspecified sequence with side effect:
                  /* i <-  */
                  i = 3;
                  /* z <- i */
                  z = (i + i) + 8;
tests/misc/m12_2.i:69:[kernel] warning: Unspecified sequence with side effect:
                  /* this_st.st_m <-  */
                  this_st.st_m = 3;
                  /* z <- this_st.st_m */
                  z = (this_st.st_m + this_st.st_m) + 8;
tests/misc/m12_2.i:77:[kernel] warning: Unspecified sequence with side effect:
                  /* i <-  */
                  i ++;
                  /*  <- i */
tests/misc/m12_2.i:81:[kernel] warning: Unspecified sequence with side effect:
                  /* i <-  */
                  i ++;
                  /* i <- tmp_5
                  */
                  if ((3 * 8) * 1) {
                    SI_32 tmp_5;
                    { /* sequence */
                      tmp_5 = i;
                      i ++;
                      
                    }
                    if (tmp_5) tmp_6 = 1; else tmp_6 = 0;
                  }
                  else tmp_6 = 0;
                  /* z <-  */
                  z = i + tmp_6;
tests/misc/m12_2.i:85:[kernel] warning: Unspecified sequence with side effect:
                  /* i <-  */
                  i ++;
                  /* i <- tmp_8
                  */
                  if ((3 * 8) * 0) tmp_9 = 1;
                  else {
                    SI_32 tmp_8;
                    { /* sequence */
                      tmp_8 = i;
                      i ++;
                      
                    }
                    if (tmp_8) tmp_9 = 1; else tmp_9 = 0;
                  }
                  /* z <-  */
                  z = i + tmp_9;
