Module Reachingdefs.L


module L: Liveness

module DF: Dataflow
module UD: Usedef
module IH: Inthash
val debug : bool Pervasives.ref
val live_label : String.t Pervasives.ref
val live_func : String.t Pervasives.ref
module VS: UD.VS
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: Dataflow.Backwards(LiveFlow)
val all_stmts : LiveFlow.StmtStartData.key list Pervasives.ref
class nullAdderClass : object .. end
val null_adder : Cil_types.fundec -> LiveFlow.StmtStartData.key list
val computeLiveness : Cil_types.fundec -> unit
val getLiveSet : LiveFlow.StmtStartData.key ->
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