Module RefUsage

module RefUsage: sig .. end
Variable accesses from C code and code annotations

type access = 
| NoAccess
| ByRef
| ByArray
| ByValue
| ByAddr
val iter : ?on_init:(access -> unit) ->
?on_kf:(Cil_types.kernel_function -> access -> unit) ->
Cil_types.varinfo -> unit
val get : ?kf:Cil_types.kernel_function ->
?init:bool -> Cil_types.varinfo -> access
val dump : unit -> unit
val compute : unit -> unit