Module Kf_state

module Kf_state: sig .. end

Is called

Keep information attached to kernel functions.



Is called


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

Callers


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

Registration.