module Cil: Extends.Cil
include Cil
val ptrType : Cil_types.typ -> Cil_types.typ
val constPtrType : Cil_types.typ -> Cil_types.typ
val shortType : Cil_types.typ
val ushortType : Cil_types.typ
val shortPtrType : Cil_types.typ
val ushortPtrType : Cil_types.typ
val longPtrType : Cil_types.typ
val ulongPtrType : Cil_types.typ
val longlongPtrType : Cil_types.typ
val ulonglongPtrType : Cil_types.typ
val doublePtrType : Cil_types.typ
val is_folded_zero : Cil_types.exp -> bool
val signedIntegerTypes : Cil_types.typ list
Standard integer types in C99 (Cf. 6.2.5)
val unsignedIntegerTypes : Cil_types.typ list
val signedIntegerPtrTypes : Cil_types.typ list
val unsignedIntegerPtrTypes : Cil_types.typ list
val is_signed_integer_type : Cil_types.typ -> bool
val is_unsigned_integer_type : Cil_types.typ -> bool
val is_integer_type : Cil_types.typ -> bool
val is_integer_ptr_type : Cil_types.typ -> bool
val is_function : Cil_types.varinfo -> bool
val is_variadic_function : Cil_types.varinfo -> bool
Returns true
if varinfo is a variadic function, false
if it
is a non-variadic function or if it is not a function.
val get_fundec_return_type : Cil_types.fundec -> Cil_types.typ
val get_kf_attributes : Cil_types.kernel_function -> Cil_types.attributes
val integer_ranking_comp : Cil_types.typ -> Cil_types.typ -> int
integer_ranking_comp t1 t2
Raises Invalid_argument
if t1 and t2 are not comparable.
Returns <0
if t1 < t2
0
if t1 = t2
>0
if t1 > t2
val integer_promotion : Cil_types.typ -> Cil_types.typ -> bool
integer_promotion t1 t2
returns true
if t1 < t2
val get_inst_loc : Cil_types.instr -> Cil_types.location
val get_stmt_loc : Cil_types.stmt -> Cil_types.location