Module Cvalue.V_Or_Uninitialized

module V_Or_Uninitialized: sig .. end
Values with 'undefined' and 'escaping addresses' flags.

type un_t = 
| C_uninit_esc of Cvalue.V.t
| C_uninit_noesc of Cvalue.V.t
| C_init_esc of Cvalue.V.t
| C_init_noesc of Cvalue.V.t
include Offsetmap_lattice_with_isotropy
include Lattice_type.With_Under_Approximation
include Lattice_type.With_Narrow
val get_v : un_t -> Cvalue.V.t
val get_flags : un_t -> int
val uninitialized : un_t
val initialized : Cvalue.V.t -> un_t
val change_initialized : bool -> un_t -> un_t
val is_initialized : int -> bool
val is_noesc : int -> bool
val unspecify_escaping_locals : exact:bool ->
(Cvalue.V.M.key -> bool) ->
un_t ->
Base.SetLattice.t * un_t