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