sig
val warn_right_imprecision :
Cil_types.lval -> Locations.location -> Cvalue.V_Offsetmap.t -> unit
val offsetmap_of_lval :
Cvalue.Model.t ->
Cil_types.lval -> Precise_locs.precise_location -> Cvalue.V_Offsetmap.t
val offsetmap_of_assignment :
Cvalue.Model.t ->
Cil_types.exp ->
(Precise_locs.precise_location, Cvalue.V.t) Eval.assigned ->
Cvalue.V_Offsetmap.t
end