Class Mem_dependencies.do_memdeps

class do_memdeps : Lmap_bitwise.From_Model.t Cil_datatype.Stmt.Hashtbl.t -> (Functionwise_Memdeps.key * Lmap_bitwise.From_Model.t) list
Cil_datatype.Stmt.Hashtbl.t ->
object .. end
Inherits
val mutable inputs : Locations.Zone.t
method result : Locations.Zone.t
method join : Locations.Zone.t -> unit
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method stmt_froms : Lmap_bitwise.From_Model.t
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction