[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/slicing/bts179.c (with preprocessing)
[sparecode] remove unused code...
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  S ∈ {0}
  X ∈ {0}
  Y ∈ {0}
[value] computing for function g <- main.
        Called from tests/slicing/bts179.c:16.
[value] Recording results for g
[value] Done for function g
[value] Recording results for main
[value] done for function main
[pdg] computing for function main
[from] Computing for function g
[from] Done for function g
[pdg] done for function main
[pdg] computing for function g
[pdg] done for function g
[pdg] computing for function Frama_C_bzero
[from] Computing for function Frama_C_bzero
[from] Done for function Frama_C_bzero
[pdg] done for function Frama_C_bzero
[pdg] computing for function Frama_C_copy_block
[from] Computing for function Frama_C_copy_block
[from] Done for function Frama_C_copy_block
[pdg] done for function Frama_C_copy_block
[sparecode] remove unused global declarations...
[sparecode] result in new project 'default without sparecode'.
/* Generated by Frama-C */
struct __anonstruct_S_1 {
   int a ;
   int ab ;
   int b ;
   int c ;
   int d ;
};
struct __anonstruct_S_1 S;
void g(void)
{
  S.a = 1;
  S.b = 2;
  S.d = 4;
  return;
}

int main(void)
{
  int __retres;
  g();
  /*@ slice pragma expr S.b; */ ;
  S.ab = 1;
  __retres = S.a;
  return __retres;
}


