module RefUsage:sig
..end
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