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] 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.