Frama_c_kernel.Rmtmps
val isExportedRoot : Cil_types.global -> bool
val isCompleteProgramRoot : Cil_types.global -> bool
val removeUnused :
?isRoot:( Cil_types.global -> bool ) ->
Cil_types.file ->
unit
val remove_unused_labels :
?is_removable:( Cil_types.label -> bool ) ->
Cil_types.fundec ->
unit
removes unused labels for which is_removable
is true. is_removable
defaults to the negation of boolean flag of Label
i.e. only labels generated by CIL may be removed.