module MemoryContext: sig
.. end
type
validity =
type
param =
| |
NotUsed |
| |
ByAddr |
| |
ByValue |
| |
ByShift |
| |
ByRef |
| |
InContext of validity |
| |
InArray of validity |
val pp_param : Stdlib.Format.formatter -> param -> unit
type
partition
val empty : partition
val set : Cil_types.varinfo ->
param -> partition -> partition
val compute : string -> (Cil_types.kernel_function -> partition) -> unit
val add_behavior : Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> partition) -> unit
val warn : Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> partition) -> unit