Module Standard.Cil

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
val get_fundec_return_type : Cil_types.fundec -> Cil_types.typ

Does not use Globals.Functions.get nor Kernel_function.get_return_type.

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

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