package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct