Module Tr_offset

module Tr_offset: sig .. end
Reduction of a location (expressed as an Ival.t and a size) by a base validity. Only the locations in the trimmed result are valid.

type t = 
| Invalid (*No location is valid*)
| Set of Integer.t list (*Limited number of locations*)
| Interval of Integer.t * Integer.t * Integer.t
| Imprecise of Integer.t * Integer.t
val filter_by_bound_for_reading : with_alarms:CilE.warn_mode ->
Ival.t -> Integer.t -> Base.validity -> t
val filter_by_bound_for_writing : with_alarms:CilE.warn_mode ->
exact:bool -> Ival.t -> Integer.t -> Base.validity -> bool * t