Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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


  • Subject: [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
  • Date: Fri Nov 7 14:00:24 2008

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