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