module Mem_dependencies: sig
.. end
module Functionwise_Memdeps: Kernel_function.Make_Table
(
Locations.Zone
)
(
sig
val name : string
val size : int
val dependencies : State.t list
end
)
class do_memdeps : Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t -> (Functionwise_Memdeps.key * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t ->
object
.. end
val compute_memdeps : Kernel_function.t Stack.t *
Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t *
(Functionwise_Memdeps.key * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t -> unit