module Abstract_offset: sig
.. end
type
t =
val pretty : Stdlib.Format.formatter -> t -> unit
val of_var_address : Cil_types.varinfo -> t
val of_cil_offset : (Cil_types.exp -> Int_val.t) ->
Cil_types.typ -> Cil_types.offset -> t Lattice_bounds.or_top
val of_ival : base_typ:Cil_types.typ ->
typ:Cil_types.typ -> Ival.t -> t Lattice_bounds.or_top
val of_term_offset : Cil_types.typ ->
Cil_types.term_offset -> t Lattice_bounds.or_top
val is_singleton : t -> bool
val references : t -> Cil_datatype.Varinfo.Set.t
val append : t -> t -> t
val join : t ->
t -> t Lattice_bounds.or_top
val add_index : (Cil_types.exp -> Int_val.t) ->
t -> Cil_types.exp -> t Lattice_bounds.or_top