goblint-cil
Rmtmps
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
type rootsFilter = Cil.global -> bool
val isDefaultRoot : rootsFilter
val isExportedRoot : rootsFilter
val isCompleteProgramRoot : rootsFilter
val removeUnusedTemps : ?isRoot:rootsFilter -> Cil.file -> unit
val keepUnused : bool ref
val rmUnusedInlines : bool ref