module Occurrence: sig
.. end
type
t = (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval) list
val get : (Cil_types.varinfo -> t) Pervasives.ref
Return the occurrences of the given varinfo.
An occurrence ki, lv
is a left-value lv
which uses the location of
vi
at the position ki
.
val get_last_result : (unit -> (t * Cil_types.varinfo) option) Pervasives.ref
Returns the last result computed by occurrence
val print_all : (unit -> unit) Pervasives.ref
Print all the occurrence of each variable declarations.
val self : State.t Pervasives.ref