Module Kf_state

module Kf_state: sig .. end

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.