[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/sizeof_bts1414.i (no preprocessing)
tests/syntax/sizeof_bts1414.i:5:[kernel] Dropping side-effect in sizeof. Nothing to worry, this is by the book.
tests/syntax/sizeof_bts1414.i:7:[kernel] Dropping side-effect in sizeof. Nothing to worry, this is by the book.
/* Generated by Frama-C */
int g(int *a)
{
  int __retres;
  int x;
  int tmp;
  x = (int)sizeof(tmp);
  switch (x) {
    int tmp_0;
    case (int)sizeof(tmp_0): __retres = 1;
    goto return_label;
    default: ;
    __retres = 0;
    goto return_label;
  }
  __retres = x;
  return_label: return __retres;
}


