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