[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/sparecode/top.c (with preprocessing)
[sparecode] remove unused code...
[sparecode] selecting function main_top_not_used outputs and entry point
[value] Analyzing a complete application starting at main_top_not_used
[value] Computing initial state
[value] Initial state computed
[value] Values of globals at initialization
  
[value] computing for function main_top <- main_top_not_used.
        Called from tests/sparecode/top.c:32.
[value] computing for function f <- main_top <- main_top_not_used.
        Called from tests/sparecode/top.c:21.
[value] Recording results for f
[value] Done for function f
[value] Recording results for main_top
[value] Done for function main_top
[value] computing for function f <- main_top_not_used.
        Called from tests/sparecode/top.c:33.
[value] Recording results for f
[value] Done for function f
[value] Recording results for main_top_not_used
[value] done for function main_top_not_used
[pdg] computing for function main_top_not_used
[from] Computing for function main_top
[from] Computing for function f <-main_top
[from] Done for function f
[from] Done for function main_top
[pdg] done for function main_top_not_used
[sparecode] add selection in function 'main_top_not_used'
[sparecode] selecting output zones \nothing
[sparecode] add selection in function 'main_top_not_used'
[pdg] computing for function f
[pdg] done for function f
[pdg] computing for function main_top
[pdg] warning: not implemented by pdg yet: variadic function
[pdg] Top for function main_top
[kernel] Plug-in pdg aborted: unimplemented feature.
         You may send a feature request at http://bts.frama-c.com with:
         '[Plug-in pdg] mark propagation in Top PDG'.
