Module Reachingdefs

module Reachingdefs: sig .. end

module DF: Dataflow2
module UD: Usedef
module L: Liveness
module IH: Datatype.Int.Hashtbl
val debug_fn : String.t Pervasives.ref
module IOS: FCSet.Make(sig
type t = int option 
val compare : Datatype.Int.t option -> Datatype.Int.t option -> int
end)
val debug : bool Pervasives.ref
val ih_inter : 'a IH.t -> 'b IH.t -> 'a IH.t
val ih_union : 'a IH.t -> 'a IH.t -> 'a IH.t
val iosh_singleton_lookup : IOS.t IH.t ->
Cil_types.varinfo -> IOS.elt
val iosh_lookup : 'a IH.t -> Cil_types.varinfo -> 'a option
val iosh_defId_find : IOS.t IH.t -> int -> IH.key option
val iosh_combine : IOS.t IH.t ->
IOS.t IH.t -> IOS.t IH.t
val iosh_equals : IOS.t IH.t ->
IOS.t IH.t -> bool
val iosh_replace : IOS.t IH.t -> int -> Cil_types.varinfo -> unit
val iosh_filter_dead : 'a IH.t -> UD.VS.t -> unit
val proc_defs : UD.VS.t ->
IOS.t IH.t -> (unit -> int) -> unit
val idMaker : unit -> int -> unit -> int
val iRDsHtbl : (int * bool, (unit * int * IOS.t IH.t) list)
Hashtbl.t
val instrRDs : Cil_types.instr ->
int ->
'a * int * IOS.t IH.t ->
bool -> (unit * int * IOS.t IH.t) list
type rhs = 
| RDExp of Cil_types.exp
| RDCall of Cil_types.instr
module ReachingDef: sig .. end
module RD: Dataflow2.Forwards(ReachingDef)
val rhsHtbl : (rhs * int * IOS.t IH.t) option
IH.t
val getDefRhs : Cil_types.stmt IH.t ->
IH.key ->
(rhs * int * IOS.t IH.t) option
val prettyprint : 'a -> 'b -> 'c -> unit -> 'd * 'e * 'f -> unit
val iosh_none_fill : IOS.t IH.t -> Cil_types.varinfo list -> unit
val clearMemos : unit -> unit
val computeRDs : Cil_types.fundec -> unit
val getRDs : Cil_types.stmt -> ReachingDef.StmtStartData.data option
val getDefIdStmt : IH.key -> Cil_types.stmt option
val getStmt : IH.key -> Cil_types.stmt option
val getSimpRhs : IH.key -> rhs option
val isDefInstr : Cil_datatype.Instr.t -> IH.key -> bool
class rdVisitorClass : object .. end