module V_Or_Uninitialized: sig
.. end
type
tt =
| |
C_uninit_esc of Cvalue_type.V.t |
| |
C_uninit_noesc of Cvalue_type.V.t |
| |
C_init_esc of Cvalue_type.V.t |
| |
C_init_noesc of Cvalue_type.V.t |
val mask_init : int
val mask_noesc : int
val is_initialized : int -> bool
val is_noesc : int -> bool
val get_v : tt -> Cvalue_type.V.t
val get_flags : tt -> int
val create : int -> Cvalue_type.V.t -> tt
val project : tt -> Cvalue_type.V.t
val is_included_actual_generic : Base.Set.t ->
Base.Set.t Pervasives.ref ->
Cvalue_type.V.t Base.Map.t Pervasives.ref ->
tt ->
tt -> unit
type
widen_hint = Cvalue_type.V.widen_hint
val widen : Cvalue_type.V.widen_hint ->
tt ->
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 : tt
val top : tt
val uninitialized : tt
val initialized : Cvalue_type.V.t -> tt
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 : tt -> bool
val cardinal_less_than : tt -> int -> int
val tag : tt -> int
include struct ... end
module Top_Param: Cvalue_type.V.Top_Param
val is_isotropic : tt -> bool
val cast : with_alarms:CilE.warn_mode ->
size:Abstract_interp.Int.t ->
signed:bool ->
tt -> tt
: 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:'a ->
total_length:int ->
length:Abstract_interp.Int.t ->
value:tt ->
offset:Abstract_interp.Int.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_type.V.Top_Param.O.t -> tt
val under_topify : tt -> tt
val of_char : char -> tt
val singleton_zero : tt
val unspecify_escaping_locals : (Cvalue_type.V.M.key -> bool) ->
tt -> tt
val pretty_c_assert : 'a -> 'b -> 'c -> 'd -> unit