[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/access_volatile_bts1589.i (no preprocessing)
/* Generated by Frama-C */
typedef int volatile vi;
struct volatile_struct {
   int volatile a ;
   vi b ;
   int c ;
};
int volatile x;
int z;
vi y;
struct volatile_struct vs;
int main(void)
{
  int __retres;
  if (x) ;
  if (y) ;
  if (vs.a) ;
  if (vs.b) ;
  __retres = 0;
  return __retres;
}


