Module IntDomain.Size

val top_typ : Cil.typ

The biggest type we support for integers.

val range : Cil.ikind -> int64 * int64
val range_big_int : Cil.ikind -> Z.t * Z.t
val bits : Cil.ikind -> int * int