Module Gmpz

module Gmpz: sig .. end

GMP Values.


val init_t : unit -> unit

Must be called before any use of GMP

val set_t : Cil_types.typeinfo -> unit
val t : unit -> Cil_types.typ

type "mpz_t"

val is_now_referenced : unit -> unit

Should be called once one variable of type "mpz_t" exists

val is_t : Cil_types.typ -> bool

is the type equal to "mpz_t"?

val init : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt

build stmt "mpz_init(v)"

val init_set : loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt

init_set x_as_lv x_as_exp e builds stmt x = e or mpz_init_set*(v, e) with the good function 'set' according to the type of e

val clear : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt

build stmt "mpz_clear(v)"

val affect : loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt

affect x_as_lv x_as_exp e builds stmt x = e or mpz_set*(e) with the good function 'set' according to the type of e