Rmtmps (frama-c.Frama_c

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.

since Carbon-20101201

val keepUnused : bool Stdlib.ref

val rmUnusedInlines : bool Stdlib.ref

val rmUnusedStatic : bool Stdlib.ref