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 : Lmap_bitwise.From_Model.t Cil_datatype.Stmt.Hashtbl.t -> (Functionwise_Pathdeps.key * Lmap_bitwise.From_Model.t)
list Cil_datatype.Stmt.Hashtbl.t ->
object
.. end
val compute_pathdeps : Kernel_function.t Stack.t *
Lmap_bitwise.From_Model.t Cil_datatype.Stmt.Hashtbl.t *
(Functionwise_Pathdeps.key * Lmap_bitwise.From_Model.t)
list Cil_datatype.Stmt.Hashtbl.t -> unit