Module IntDomain0.Size

val sign : Z.t -> [> `Signed | `Unsigned ]
val min_for : GoblintCil__.Cilint.cilint -> GoblintCil.Cil.ikind
val bit : GoblintCil.Cil.ikind -> int
val is_int64_big_int : Z.t -> bool
val card : GoblintCil.Cil.ikind -> Z.t
val bits : GoblintCil.Cil.ikind -> int * int
val bits_i64 : GoblintCil.Cil.ikind -> int64 * int64
val range : GoblintCil.Cil.ikind -> Z.t * Z.t
val is_cast_injective : from_type:GoblintCil.Cil.typ -> to_type:GoblintCil.Cil.typ -> bool
val cast : GoblintCil.Cil.ikind -> Z.t -> Z.t
val min_range_sign_agnostic : GoblintCil__.Cilint.cilint -> int64 * int64
  • returns

    Bit range always includes 0.

val max_from_bit_range : int64 -> Z.t
val min_from_bit_range : int64 -> Z.t