sig
val offsetmap_of_v :
typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V_Offsetmap.t
val wrap_size_t : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
val wrap_int : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
val wrap_ptr : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
val wrap_double : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
val wrap_float : Cvalue.V.t -> Cvalue.V_Offsetmap.t option
val v_uninit_of_offsetmap :
with_alarms:CilE.warn_mode ->
typ:Cil_types.typ -> Cvalue.V_Offsetmap.t -> Cvalue.V_Or_Uninitialized.t
val v_of_offsetmap :
with_alarms:CilE.warn_mode ->
typ:Cil_types.typ -> Cvalue.V_Offsetmap.t -> Cvalue.V.t
val reinterpret_int :
with_alarms:CilE.warn_mode -> Cil_types.ikind -> Cvalue.V.t -> Cvalue.V.t
val reinterpret_float :
with_alarms:CilE.warn_mode -> Cil_types.fkind -> Cvalue.V.t -> Cvalue.V.t
val reinterpret :
with_alarms:CilE.warn_mode -> Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
val eval_binop_float :
with_alarms:CilE.warn_mode ->
Fval.rounding_mode ->
Cil_types.fkind option ->
Cvalue.V.t -> Cil_types.binop -> Cvalue.V.t -> Cvalue.V.t
val eval_binop_int :
with_alarms:CilE.warn_mode ->
te1:Cil_types.typ ->
Cvalue.V.t -> Cil_types.binop -> Cvalue.V.t -> Cvalue.V.t
val eval_unop :
check_overflow:bool ->
with_alarms:CilE.warn_mode ->
Cvalue.V.t -> Cil_types.typ -> Cil_types.unop -> Cvalue.V.t
val handle_overflow :
with_alarms:CilE.warn_mode ->
warn_unsigned:bool -> Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
val do_promotion :
with_alarms:CilE.warn_mode ->
Fval.rounding_mode ->
src_typ:Cil_types.typ ->
dst_typ:Cil_types.typ ->
Cvalue.V.t -> (Format.formatter -> unit) -> Cvalue.V.t
val eval_float_constant :
with_alarms:CilE.warn_mode ->
float -> Cil_types.fkind -> string option -> Cvalue.V.t
val make_volatile : ?typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V.t
val reduce_rel_from_type :
Cil_types.typ ->
bool -> Cil_types.binop -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.t
val find :
with_alarms:CilE.warn_mode ->
?conflate_bottom:bool ->
Cvalue.Model.t -> Locations.location -> Cvalue.V.t
val add_binding :
with_alarms:CilE.warn_mode ->
?remove_invalid:bool ->
exact:bool ->
Cvalue.Model.t -> Locations.location -> Cvalue.V.t -> Cvalue.Model.t
val add_binding_unspecified :
with_alarms:CilE.warn_mode ->
?remove_invalid:bool ->
exact:bool ->
Cvalue.Model.t ->
Locations.location -> Cvalue.V_Or_Uninitialized.t -> Cvalue.Model.t
val copy_offsetmap :
with_alarms:CilE.warn_mode ->
Locations.Location_Bits.t ->
Integer.t ->
Cvalue.Model.t -> [ `Bottom | `Map of Cvalue.V_Offsetmap.t | `Top ]
val paste_offsetmap :
with_alarms:CilE.warn_mode ->
?remove_invalid:bool ->
reducing:bool ->
from:Cvalue.V_Offsetmap.t ->
dst_loc:Locations.Location_Bits.t ->
size:Integer.t -> exact:bool -> Cvalue.Model.t -> Cvalue.Model.t
val reduce_by_initialized_defined :
(Cvalue.V_Or_Uninitialized.t -> Cvalue.V_Or_Uninitialized.t) ->
Locations.location -> Cvalue.Model.t -> Cvalue.Model.t
val apply_on_all_locs :
(Locations.location -> 'a -> 'a) -> Locations.location -> 'a -> 'a
val reduce_by_valid_loc :
positive:bool ->
for_writing:bool ->
Locations.location -> Cil_types.typ -> Cvalue.Model.t -> Cvalue.Model.t
val write_abstract_value :
with_alarms:CilE.warn_mode ->
Cvalue.Model.t ->
Cil_types.lval ->
Cil_types.typ -> Locations.Location.t -> Cvalue.V.t -> Cvalue.Model.t
val make_loc_contiguous : Locations.location -> Locations.location
val pretty_stitched_offsetmap :
Format.formatter -> Cil_types.typ -> Cvalue.V_Offsetmap.t -> unit
end