sig
val offsetmap_of_v :
typ:Cil_types.typ -> Cvalue.V.t -> Cvalue.V_Offsetmap.t
val offsetmap_of_loc :
Precise_locs.precise_location ->
Cvalue.Model.t -> Cvalue.V_Offsetmap.t Eval.or_bottom
val backward_comp_left_from_type :
Cil_types.logic_type ->
bool -> Abstract_interp.Comp.t -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.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 ->
Locations.access ->
Locations.location -> Cil_types.typ -> Cvalue.Model.t -> Cvalue.Model.t
val make_loc_contiguous : Locations.location -> Locations.location
val pretty_stitched_offsetmap :
Stdlib.Format.formatter -> Cil_types.typ -> Cvalue.V_Offsetmap.t -> unit
val pretty_offsetmap :
Cil_types.typ -> Stdlib.Format.formatter -> Cvalue.V_Offsetmap.t -> unit
val find_under_approximation :
Cvalue.Model.t ->
Locations.location -> Cvalue.V_Or_Uninitialized.t option
end