--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals



Dear All,
 
The Frama-C slicer called from a command line as "toplevel.opt -ocode
slice.c -slice-print -slicing-level 3 -lib-entry -main foo myfile.c
-slice-pragma foo" generates the file slice.c with all original code
globals (typedefs, vars) even if most of these globals are not
referenced in the code of slice.c.
 
Please, let me known how is it possible to get rid of unuseful globals.
 
Thanks in advance!
 
Best regards,
Dillon PARIENTE
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081107/ec83459d/attachment.htm