Module Cvalue.V_Or_Uninitialized


module V_Or_Uninitialized: sig .. end


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
type tt = un_t 
val mask_init : int
val mask_noesc : int
val is_initialized : int -> bool
val is_noesc : int -> bool
val get_v : un_t -> Cvalue.V.t
val get_flags : tt -> int
val create : int -> Cvalue.V.t -> tt
val project : un_t -> Cvalue.V.t
type widen_hint = Cvalue.V.widen_hint 
val widen : Cvalue.V.widen_hint ->
un_t ->
tt -> tt
val equal : tt -> tt -> bool
exception Error_Bottom
exception Error_Top
val join : tt ->
tt -> tt
val narrow : tt ->
tt -> tt
val link : tt ->
tt -> tt
val meet : tt ->
tt -> tt
val bottom : un_t
val top : un_t
val uninitialized : un_t
val initialized : Cvalue.V.t -> un_t
val escaping_addr : un_t
val is_included : tt -> tt -> bool
val is_included_exn : tt -> tt -> unit
val intersects : 'a -> 'b -> 'c
val pretty : Format.formatter -> tt -> unit
val cardinal_zero_or_one : un_t -> bool
val cardinal_less_than : un_t -> int -> int
val tag : tt -> int
include struct ... end
module Top_Param: Cvalue.V.Top_Param
val is_isotropic : un_t -> bool
val cast : with_alarms:CilE.warn_mode ->
size:Abstract_interp.Int.t ->
signed:bool -> tt -> tt
val extract_bits : start:Abstract_interp.Int.t ->
stop:Abstract_interp.Int.t ->
tt -> bool * tt
val little_endian_merge_bits : conflate_bottom:bool ->
total_length:int ->
value:tt ->
offset:Abstract_interp.Int.t ->
tt -> tt
val big_endian_merge_bits : conflate_bottom:bool ->
total_length:int ->
length:My_bigint.t ->
value:tt ->
offset:My_bigint.t ->
tt -> tt
val topify_merge_origin : tt -> tt
val topify_arith_origin : tt -> tt
val topify_misaligned_read_origin : tt -> tt
val topify_with_origin : Origin.t -> tt -> tt
val anisotropic_cast : size:Abstract_interp.Int.t ->
tt -> tt
val inject_top_origin : Origin.t -> Cvalue.V.Top_Param.O.t -> un_t
val under_topify : tt -> tt
val of_char : char -> un_t
val of_int64 : int64 -> un_t
val singleton_zero : un_t
val unspecify_escaping_locals : (Cvalue.V.M.key -> bool) ->
tt ->
Cvalue.V.Top_Param.t * tt
val change_initialized : bool -> un_t -> un_t
val pretty_c_assert : (unit -> unit) ->
string -> int -> Format.formatter -> un_t -> unit