Module Tr_offset


module Tr_offset: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.


type t =
| Set of Ival.O.t
| Interval of Abstract_interp.Int.t * Abstract_interp.Int.t * Abstract_interp.Int.t
| Imprecise of Abstract_interp.Int.t * Abstract_interp.Int.t
exception Unbounded
val empty : t
val reduce_ival_by_bound : Ival.tt -> My_bigint.t -> Base.validity -> bool * (bool * t)
val filter_by_bound_for_reading : with_alarms:CilE.warn_mode ->
Ival.tt -> My_bigint.t -> Base.validity -> t
val filter_by_bound_for_writing : exact:bool ->
with_alarms:CilE.warn_mode ->
Ival.tt -> My_bigint.t -> Base.validity -> bool * t