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

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



Pariente Dillon wrote :
>> Please, let me known how is it possible to get rid of unuseful globals.

I have added a filter to remove unused global types and variables.
It is automatically called by the slicing and the sparecode analysis,
but it can also be called alone (option -rm-unused-globals).
So it should be available in the next release of Frama-C.

Hope this will answer to your request.
-- 
Anne.