module Kf_state:sig
..end
Keep information attached to kernel functions.
module Is_Called:Kernel_function.Make_Table
(
Datatype.Bool
)
(
sig
val name :string
val dependencies :State.t list
val size :int
end
)
val is_called : Is_Called.key -> Is_Called.data
val mark_as_called : Is_Called.key -> unit
module Callers:Kernel_function.Make_Table
(
Kernel_function.Map.Make
(
Cil_datatype.Stmt.Set
)
)
(
sig
val name :string
val dependencies :State.t list
val size :int
end
)
val add_caller : caller:Kernel_function.Map.key * Cil_datatype.Stmt.Set.elt ->
Callers.key -> unit
val callers : Callers.key ->
(Kernel_function.Map.key * Cil_datatype.Stmt.Set.elt list) list