Module IntDomain0.IntDomLifter

Parameters

module I : S

Signature

type int_t = I.int_t
type t = {
  1. v : I.t;
  2. ikind : CilType.Ikind.t;
}
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val ikind : t -> CilType.Ikind.t
val check_ikinds : t -> t -> unit
val lift : (CilType.Ikind.t -> I.t -> I.t) -> t -> t
val lift_logical : (CilType.Ikind.t -> I.t -> I.t) -> t -> t
val lift2 : (CilType.Ikind.t -> I.t -> I.t -> I.t) -> t -> t -> t
val lift2_cmp : (CilType.Ikind.t -> I.t -> I.t -> I.t) -> t -> t -> t
val bot_of : GoblintCil.Cil.ikind -> t
val bot : unit -> 'a
val is_bot : t -> bool
val top_of : GoblintCil.Cil.ikind -> t
val top : unit -> 'a
val is_top : 'a -> 'b
val leq : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : t -> t -> t
val narrow : t -> t -> t
val show : t -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
val pretty_diff : unit -> (t * t) -> Lattice.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val name : unit -> string
val to_yojson : t -> Yojson.Safe.t
val invariant : GoblintCil.exp -> t -> Invariant.t
val tag : t -> int
val arbitrary : 'a -> 'b
val to_int : t -> I.int_t option
val of_int : GoblintCil.Cil.ikind -> I.int_t -> t
val equal_to : I.int_t -> t -> [ `Eq | `Neq | `Top ]
val to_bool : t -> bool option
val of_bool : GoblintCil.Cil.ikind -> bool -> t
val to_excl_list : t -> (I.int_t list * (int64 * int64)) option
val of_excl_list : GoblintCil.Cil.ikind -> I.int_t list -> t
val is_excl_list : t -> bool
val to_incl_list : t -> I.int_t list option
val of_interval : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val of_congruence : GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val of_bitfield : GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val to_bitfield : GoblintCil.Cil.ikind -> t -> I.int_t * I.int_t
val starting : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> I.int_t -> t
val ending : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> I.int_t -> t
val maximal : t -> I.int_t option
val minimal : t -> I.int_t option
val neg : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div : t -> t -> t
val rem : t -> t -> t
val lt : t -> t -> t
val gt : t -> t -> t
val le : t -> t -> t
val ge : t -> t -> t
val eq : t -> t -> t
val ne : t -> t -> t
val lognot : t -> t
val logand : t -> t -> t
val logor : t -> t -> t
val logxor : t -> t -> t
val shift_left : t -> t -> t
val shift_right : t -> t -> t
val c_lognot : t -> t
val c_logand : t -> t -> t
val c_logor : t -> t -> t
val cast_to : ?suppress_ovwarn:bool -> ?torg:'a -> GoblintCil.Cil.ikind -> t -> t
val is_top_of : CilType.Ikind.t -> t -> bool
val relift : t -> t
val project : PrecisionUtil.int_precision -> t -> t