[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/constant_propagation/struct_field.i (no preprocessing)
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  S ∈ {0}
  v ∈ {0}
[value] Recording results for main
[value] done for function main
[value] ====== VALUES COMPUTED ======
[value] Values at end of function main:
  p1 ∈ {{ &S.f0 }}
  p2 ∈ {{ &S.f1[0] }}
  p6 ∈ {{ &S.f1[4] }}
  pp ∈ {{ &p6 }}
  p11 ∈ {{ &S.f2[0].u1 }}
  p14 ∈ {{ &S.f2[1].u2.b }}
  p ∈ {{ &v.f2.c4 }}
[scf] beginning constant propagation
/* Generated by Frama-C */
struct st {
   int a ;
   int b ;
};
union u {
   int u1 ;
   struct st u2 ;
};
struct __anonstruct_S_1 {
   int f0 ;
   int f1[9] ;
   union u f2[3] ;
};
struct s1 {
   char c1 ;
   int c2 ;
};
struct s2 {
   int c3 ;
   char c4 ;
};
union v {
   struct s1 f1 ;
   struct s2 f2 ;
};
struct __anonstruct_S_1 S;
union v v;
void main(void)
{
  int *p1;
  int *p2;
  int *p6;
  int **pp;
  int *p11;
  int *p14;
  char *p;
  p1 = & S.f0;
  p2 = & S.f1[0];
  p6 = & S.f1[4];
  pp = & p6;
  p11 = & S.f2[0].u1;
  p14 = & S.f2[1].u2.b;
  p = & v.f2.c4;
  return;
}


[scf] constant propagation done
