Module Reachingdefs.L

module L: Liveness

module UD: Usedef
module VS: Cil_datatype.Varinfo.Set
val debug : bool Pervasives.ref
val live_label : String.t Pervasives.ref
val live_func : String.t Pervasives.ref
val debug_print : Format.formatter -> VS.t -> unit
val min_print : Format.formatter -> VS.t -> unit
val printer : (Format.formatter -> VS.t -> unit) Pervasives.ref
module LiveFlow: sig .. end
module L: Dataflow2.Backwards(LiveFlow)
val all_stmts : Cil_types.stmt list Pervasives.ref
class nullAdderClass : object .. end
val null_adder : Cil_types.fundec -> Cil_types.stmt list
val computeLiveness : Cil_types.fundec -> unit
val getLiveSet : Cil_types.stmt -> LiveFlow.StmtStartData.data option
val print_everything : unit -> unit
val match_label : Cil_types.label -> bool
class doFeatureClass : object .. end
val do_live_feature : Cil_types.file -> unit
val feature : Cil.featureDescr