sig
val initCIL : unit -> unit
val cilVersion : string
val cilVersionMajor : int
val cilVersionMinor : int
val cilVersionRevision : int
type file = {
mutable fileName : string;
mutable globals : Cil.global list;
mutable globinit : Cil.fundec option;
mutable globinitcalled : bool;
}
and comment = Cil.location * string
and global =
GType of Cil.typeinfo * Cil.location
| GCompTag of Cil.compinfo * Cil.location
| GCompTagDecl of Cil.compinfo * Cil.location
| GEnumTag of Cil.enuminfo * Cil.location
| GEnumTagDecl of Cil.enuminfo * Cil.location
| GVarDecl of Cil.varinfo * Cil.location
| GVar of Cil.varinfo * Cil.initinfo * Cil.location
| GFun of Cil.fundec * Cil.location
| GAsm of string * Cil.location
| GPragma of Cil.attribute * Cil.location
| GText of string
and typ =
TVoid of Cil.attributes
| TInt of Cil.ikind * Cil.attributes
| TFloat of Cil.fkind * Cil.attributes
| TPtr of Cil.typ * Cil.attributes
| TArray of Cil.typ * Cil.exp option * Cil.attributes
| TFun of Cil.typ * (string * Cil.typ * Cil.attributes) list option *
bool * Cil.attributes
| TNamed of Cil.typeinfo * Cil.attributes
| TComp of Cil.compinfo * Cil.attributes
| TEnum of Cil.enuminfo * Cil.attributes
| TBuiltin_va_list of Cil.attributes
and ikind =
IChar
| ISChar
| IUChar
| IInt
| IUInt
| IShort
| IUShort
| ILong
| IULong
| ILongLong
| IULongLong
and fkind = FFloat | FDouble | FLongDouble
and attribute = Attr of string * Cil.attrparam list
and attributes = Cil.attribute list
and attrparam =
AInt of int
| AStr of string
| ACons of string * Cil.attrparam list
| ASizeOf of Cil.typ
| ASizeOfE of Cil.attrparam
| ASizeOfS of Cil.typsig
| AAlignOf of Cil.typ
| AAlignOfE of Cil.attrparam
| AAlignOfS of Cil.typsig
| AUnOp of Cil.unop * Cil.attrparam
| ABinOp of Cil.binop * Cil.attrparam * Cil.attrparam
| ADot of Cil.attrparam * string
and compinfo = {
mutable cstruct : bool;
mutable cname : string;
mutable ckey : int;
mutable cfields : Cil.fieldinfo list;
mutable cattr : Cil.attributes;
mutable cdefined : bool;
mutable creferenced : bool;
}
and fieldinfo = {
mutable fcomp : Cil.compinfo;
mutable fname : string;
mutable ftype : Cil.typ;
mutable fbitfield : int option;
mutable fattr : Cil.attributes;
mutable floc : Cil.location;
}
and enuminfo = {
mutable ename : string;
mutable eitems : (string * Cil.exp * Cil.location) list;
mutable eattr : Cil.attributes;
mutable ereferenced : bool;
}
and typeinfo = {
mutable tname : string;
mutable ttype : Cil.typ;
mutable treferenced : bool;
}
and varinfo = {
mutable vname : string;
mutable vtype : Cil.typ;
mutable vattr : Cil.attributes;
mutable vstorage : Cil.storage;
mutable vglob : bool;
mutable vinline : bool;
mutable vdecl : Cil.location;
mutable vid : int;
mutable vaddrof : bool;
mutable vreferenced : bool;
}
and storage = NoStorage | Static | Register | Extern
and exp =
Const of Cil.constant
| Lval of Cil.lval
| SizeOf of Cil.typ
| SizeOfE of Cil.exp
| SizeOfStr of string
| AlignOf of Cil.typ
| AlignOfE of Cil.exp
| UnOp of Cil.unop * Cil.exp * Cil.typ
| BinOp of Cil.binop * Cil.exp * Cil.exp * Cil.typ
| CastE of Cil.typ * Cil.exp
| AddrOf of Cil.lval
| StartOf of Cil.lval
and constant =
CInt64 of int64 * Cil.ikind * string option
| CStr of string
| CWStr of int64 list
| CChr of char
| CReal of float * Cil.fkind * string option
| CEnum of Cil.exp * string * Cil.enuminfo
and unop = Neg | BNot | LNot
and binop =
PlusA
| PlusPI
| IndexPI
| MinusA
| MinusPI
| MinusPP
| Mult
| Div
| Mod
| Shiftlt
| Shiftrt
| Lt
| Gt
| Le
| Ge
| Eq
| Ne
| BAnd
| BXor
| BOr
| LAnd
| LOr
and lval = Cil.lhost * Cil.offset
and lhost = Var of Cil.varinfo | Mem of Cil.exp
and offset =
NoOffset
| Field of Cil.fieldinfo * Cil.offset
| Index of Cil.exp * Cil.offset
and init =
SingleInit of Cil.exp
| CompoundInit of Cil.typ * (Cil.offset * Cil.init) list
and initinfo = { mutable init : Cil.init option; }
and fundec = {
mutable svar : Cil.varinfo;
mutable sformals : Cil.varinfo list;
mutable slocals : Cil.varinfo list;
mutable smaxid : int;
mutable sbody : Cil.block;
mutable smaxstmtid : int option;
mutable sallstmts : Cil.stmt list;
}
and block = {
mutable battrs : Cil.attributes;
mutable bstmts : Cil.stmt list;
}
and stmt = {
mutable labels : Cil.label list;
mutable skind : Cil.stmtkind;
mutable sid : int;
mutable succs : Cil.stmt list;
mutable preds : Cil.stmt list;
}
and label =
Label of string * Cil.location * bool
| Case of Cil.exp * Cil.location
| Default of Cil.location
and stmtkind =
Instr of Cil.instr list
| Return of Cil.exp option * Cil.location
| Goto of Cil.stmt Pervasives.ref * Cil.location
| Break of Cil.location
| Continue of Cil.location
| If of Cil.exp * Cil.block * Cil.block * Cil.location
| Switch of Cil.exp * Cil.block * Cil.stmt list * Cil.location
| Loop of Cil.block * Cil.location * Cil.stmt option * Cil.stmt option
| Block of Cil.block
| TryFinally of Cil.block * Cil.block * Cil.location
| TryExcept of Cil.block * (Cil.instr list * Cil.exp) * Cil.block *
Cil.location
and instr =
Set of Cil.lval * Cil.exp * Cil.location
| Call of Cil.lval option * Cil.exp * Cil.exp list * Cil.location
| Asm of Cil.attributes * string list * (string * Cil.lval) list *
(string * Cil.exp) list * string list * Cil.location
and location = { line : int; file : string; byte : int; }
and typsig =
TSArray of Cil.typsig * int64 option * Cil.attribute list
| TSPtr of Cil.typsig * Cil.attribute list
| TSComp of bool * string * Cil.attribute list
| TSFun of Cil.typsig * Cil.typsig list * bool * Cil.attribute list
| TSEnum of string * Cil.attribute list
| TSBase of Cil.typ
val lowerConstants : bool ref
val insertImplicitCasts : bool Pervasives.ref
type featureDescr = {
fd_enabled : bool Pervasives.ref;
fd_name : string;
fd_description : string;
fd_extraopt : (string * Arg.spec * string) list;
fd_doit : Cil.file -> unit;
fd_post_check : bool;
}
val compareLoc : Cil.location -> Cil.location -> int
val emptyFunction : string -> Cil.fundec
val setFormals : Cil.fundec -> Cil.varinfo list -> unit
val setFunctionType : Cil.fundec -> Cil.typ -> unit
val setFunctionTypeMakeFormals : Cil.fundec -> Cil.typ -> unit
val setMaxId : Cil.fundec -> unit
val dummyFunDec : Cil.fundec
val dummyFile : Cil.file
val saveBinaryFile : Cil.file -> string -> unit
val saveBinaryFileChannel : Cil.file -> Pervasives.out_channel -> unit
val loadBinaryFile : string -> Cil.file
val getGlobInit : ?main_name:string -> Cil.file -> Cil.fundec
val iterGlobals : Cil.file -> (Cil.global -> unit) -> unit
val foldGlobals : Cil.file -> ('a -> Cil.global -> 'a) -> 'a -> 'a
val mapGlobals : Cil.file -> (Cil.global -> Cil.global) -> unit
val new_sid : unit -> int
val prepareCFG : Cil.fundec -> unit
val computeCFGInfo : Cil.fundec -> bool -> unit
val copyFunction : Cil.fundec -> string -> Cil.fundec
val pushGlobal :
Cil.global ->
types:Cil.global list Pervasives.ref ->
variables:Cil.global list Pervasives.ref -> unit
val invalidStmt : Cil.stmt
val gccBuiltins : (string, Cil.typ * Cil.typ list * bool) Hashtbl.t
val msvcBuiltins : (string, Cil.typ * Cil.typ list * bool) Hashtbl.t
val makeZeroInit : Cil.typ -> Cil.init
val foldLeftCompound :
doinit:(Cil.offset -> Cil.init -> Cil.typ -> 'a -> 'a) ->
ct:Cil.typ -> initl:(Cil.offset * Cil.init) list -> acc:'a -> 'a
val foldLeftCompoundAll :
doinit:(Cil.offset -> Cil.init -> Cil.typ -> 'a -> 'a) ->
ct:Cil.typ -> initl:(Cil.offset * Cil.init) list -> acc:'a -> 'a
val voidType : Cil.typ
val isVoidType : Cil.typ -> bool
val isVoidPtrType : Cil.typ -> bool
val intType : Cil.typ
val uintType : Cil.typ
val longType : Cil.typ
val ulongType : Cil.typ
val charType : Cil.typ
val charPtrType : Cil.typ
val wcharKind : Cil.ikind Pervasives.ref
val wcharType : Cil.typ Pervasives.ref
val charConstPtrType : Cil.typ
val voidPtrType : Cil.typ
val intPtrType : Cil.typ
val uintPtrType : Cil.typ
val doubleType : Cil.typ
val upointType : Cil.typ Pervasives.ref
val typeOfSizeOf : Cil.typ Pervasives.ref
val isSigned : Cil.ikind -> bool
val mkCompInfo :
bool ->
string ->
(Cil.compinfo ->
(string * Cil.typ * int option * Cil.attributes * Cil.location) list) ->
Cil.attributes -> Cil.compinfo
val copyCompInfo : Cil.compinfo -> string -> Cil.compinfo
val missingFieldName : string
val compFullName : Cil.compinfo -> string
val isCompleteType : Cil.typ -> bool
val unrollType : Cil.typ -> Cil.typ
val unrollTypeDeep : Cil.typ -> Cil.typ
val separateStorageModifiers :
Cil.attribute list -> Cil.attribute list * Cil.attribute list
val isIntegralType : Cil.typ -> bool
val isArithmeticType : Cil.typ -> bool
val isPointerType : Cil.typ -> bool
val isFunctionType : Cil.typ -> bool
val argsToList :
(string * Cil.typ * Cil.attributes) list option ->
(string * Cil.typ * Cil.attributes) list
val isArrayType : Cil.typ -> bool
exception LenOfArray
val lenOfArray : Cil.exp option -> int
val getCompField : Cil.compinfo -> string -> Cil.fieldinfo
type existsAction = ExistsTrue | ExistsFalse | ExistsMaybe
val existsType : (Cil.typ -> Cil.existsAction) -> Cil.typ -> bool
val splitFunctionType :
Cil.typ ->
Cil.typ * (string * Cil.typ * Cil.attributes) list option * bool *
Cil.attributes
val splitFunctionTypeVI :
Cil.varinfo ->
Cil.typ * (string * Cil.typ * Cil.attributes) list option * bool *
Cil.attributes
val d_typsig : unit -> Cil.typsig -> Pretty.doc
val typeSig : Cil.typ -> Cil.typsig
val typeSigWithAttrs :
?ignoreSign:bool ->
(Cil.attributes -> Cil.attributes) -> Cil.typ -> Cil.typsig
val setTypeSigAttrs : Cil.attributes -> Cil.typsig -> Cil.typsig
val typeSigAttrs : Cil.typsig -> Cil.attributes
val makeVarinfo : bool -> string -> Cil.typ -> Cil.varinfo
val makeFormalVar :
Cil.fundec -> ?where:string -> string -> Cil.typ -> Cil.varinfo
val makeLocalVar :
Cil.fundec -> ?insert:bool -> string -> Cil.typ -> Cil.varinfo
val makeTempVar : Cil.fundec -> ?name:string -> Cil.typ -> Cil.varinfo
val makeGlobalVar : string -> Cil.typ -> Cil.varinfo
val copyVarinfo : Cil.varinfo -> string -> Cil.varinfo
val newVID : unit -> int
val addOffsetLval : Cil.offset -> Cil.lval -> Cil.lval
val addOffset : Cil.offset -> Cil.offset -> Cil.offset
val removeOffsetLval : Cil.lval -> Cil.lval * Cil.offset
val removeOffset : Cil.offset -> Cil.offset * Cil.offset
val typeOfLval : Cil.lval -> Cil.typ
val typeOffset : Cil.typ -> Cil.offset -> Cil.typ
val zero : Cil.exp
val one : Cil.exp
val mone : Cil.exp
val kinteger64 : Cil.ikind -> int64 -> Cil.exp
val kinteger : Cil.ikind -> int -> Cil.exp
val integer : int -> Cil.exp
val isInteger : Cil.exp -> int64 option
val isConstant : Cil.exp -> bool
val isZero : Cil.exp -> bool
val charConstToInt : char -> Cil.constant
val constFold : bool -> Cil.exp -> Cil.exp
val constFoldBinOp :
bool -> Cil.binop -> Cil.exp -> Cil.exp -> Cil.typ -> Cil.exp
val increm : Cil.exp -> int -> Cil.exp
val var : Cil.varinfo -> Cil.lval
val mkAddrOf : Cil.lval -> Cil.exp
val mkAddrOrStartOf : Cil.lval -> Cil.exp
val mkMem : addr:Cil.exp -> off:Cil.offset -> Cil.lval
val mkString : string -> Cil.exp
val mkCastT : e:Cil.exp -> oldt:Cil.typ -> newt:Cil.typ -> Cil.exp
val mkCast : e:Cil.exp -> newt:Cil.typ -> Cil.exp
val stripCasts : Cil.exp -> Cil.exp
val typeOf : Cil.exp -> Cil.typ
val parseInt : string -> Cil.exp
val mkStmt : Cil.stmtkind -> Cil.stmt
val mkBlock : Cil.stmt list -> Cil.block
val mkStmtOneInstr : Cil.instr -> Cil.stmt
val compactStmts : Cil.stmt list -> Cil.stmt list
val mkEmptyStmt : unit -> Cil.stmt
val dummyInstr : Cil.instr
val dummyStmt : Cil.stmt
val mkWhile : guard:Cil.exp -> body:Cil.stmt list -> Cil.stmt list
val mkForIncr :
iter:Cil.varinfo ->
first:Cil.exp ->
stopat:Cil.exp -> incr:Cil.exp -> body:Cil.stmt list -> Cil.stmt list
val mkFor :
start:Cil.stmt list ->
guard:Cil.exp ->
next:Cil.stmt list -> body:Cil.stmt list -> Cil.stmt list
type attributeClass = AttrName of bool | AttrFunType of bool | AttrType
val attributeHash : (string, Cil.attributeClass) Hashtbl.t
val partitionAttributes :
default:Cil.attributeClass ->
Cil.attributes ->
Cil.attribute list * Cil.attribute list * Cil.attribute list
val addAttribute : Cil.attribute -> Cil.attributes -> Cil.attributes
val addAttributes : Cil.attribute list -> Cil.attributes -> Cil.attributes
val dropAttribute : string -> Cil.attributes -> Cil.attributes
val dropAttributes : string list -> Cil.attributes -> Cil.attributes
val filterAttributes : string -> Cil.attributes -> Cil.attributes
val hasAttribute : string -> Cil.attributes -> bool
val typeAttrs : Cil.typ -> Cil.attribute list
val setTypeAttrs : Cil.typ -> Cil.attributes -> Cil.typ
val typeAddAttributes : Cil.attribute list -> Cil.typ -> Cil.typ
val typeRemoveAttributes : string list -> Cil.typ -> Cil.typ
type 'a visitAction =
SkipChildren
| DoChildren
| ChangeTo of 'a
| ChangeDoChildrenPost of 'a * ('a -> 'a)
class type cilVisitor =
object
method queueInstr : Cil.instr list -> unit
method unqueueInstr : unit -> Cil.instr list
method vattr : Cil.attribute -> Cil.attribute list Cil.visitAction
method vattrparam : Cil.attrparam -> Cil.attrparam Cil.visitAction
method vblock : Cil.block -> Cil.block Cil.visitAction
method vexpr : Cil.exp -> Cil.exp Cil.visitAction
method vfunc : Cil.fundec -> Cil.fundec Cil.visitAction
method vglob : Cil.global -> Cil.global list Cil.visitAction
method vinit : Cil.init -> Cil.init Cil.visitAction
method vinitoffs : Cil.offset -> Cil.offset Cil.visitAction
method vinst : Cil.instr -> Cil.instr list Cil.visitAction
method vlval : Cil.lval -> Cil.lval Cil.visitAction
method voffs : Cil.offset -> Cil.offset Cil.visitAction
method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction
method vtype : Cil.typ -> Cil.typ Cil.visitAction
method vvdec : Cil.varinfo -> Cil.varinfo Cil.visitAction
method vvrbl : Cil.varinfo -> Cil.varinfo Cil.visitAction
end
class nopCilVisitor : cilVisitor
val visitCilFile : Cil.cilVisitor -> Cil.file -> unit
val visitCilFileSameGlobals : Cil.cilVisitor -> Cil.file -> unit
val visitCilGlobal : Cil.cilVisitor -> Cil.global -> Cil.global list
val visitCilFunction : Cil.cilVisitor -> Cil.fundec -> Cil.fundec
val visitCilExpr : Cil.cilVisitor -> Cil.exp -> Cil.exp
val visitCilLval : Cil.cilVisitor -> Cil.lval -> Cil.lval
val visitCilOffset : Cil.cilVisitor -> Cil.offset -> Cil.offset
val visitCilInitOffset : Cil.cilVisitor -> Cil.offset -> Cil.offset
val visitCilInstr : Cil.cilVisitor -> Cil.instr -> Cil.instr list
val visitCilStmt : Cil.cilVisitor -> Cil.stmt -> Cil.stmt
val visitCilBlock : Cil.cilVisitor -> Cil.block -> Cil.block
val visitCilType : Cil.cilVisitor -> Cil.typ -> Cil.typ
val visitCilVarDecl : Cil.cilVisitor -> Cil.varinfo -> Cil.varinfo
val visitCilInit : Cil.cilVisitor -> Cil.init -> Cil.init
val visitCilAttributes :
Cil.cilVisitor -> Cil.attribute list -> Cil.attribute list
val msvcMode : bool Pervasives.ref
val useLogicalOperators : bool Pervasives.ref
val constFoldVisitor : bool -> Cil.cilVisitor
type lineDirectiveStyle =
LineComment
| LinePreprocessorInput
| LinePreprocessorOutput
val lineDirectiveStyle : Cil.lineDirectiveStyle option Pervasives.ref
val print_CIL_Input : bool Pervasives.ref
val printCilAsIs : bool Pervasives.ref
val lineLength : int Pervasives.ref
val forgcc : string -> string
val currentLoc : Cil.location Pervasives.ref
val currentGlobal : Cil.global Pervasives.ref
val d_loc : unit -> Cil.location -> Pretty.doc
val d_thisloc : unit -> Pretty.doc
val d_ikind : unit -> Cil.ikind -> Pretty.doc
val d_fkind : unit -> Cil.fkind -> Pretty.doc
val d_storage : unit -> Cil.storage -> Pretty.doc
val d_const : unit -> Cil.constant -> Pretty.doc
val derefStarLevel : int
val indexLevel : int
val arrowLevel : int
val addrOfLevel : int
val additiveLevel : int
val comparativeLevel : int
val bitwiseLevel : int
val getParenthLevel : Cil.exp -> int
class type cilPrinter =
object
method dBlock : Pervasives.out_channel -> int -> Cil.block -> unit
method dGlobal : Pervasives.out_channel -> Cil.global -> unit
method dInit : Pervasives.out_channel -> int -> Cil.init -> unit
method dStmt : Pervasives.out_channel -> int -> Cil.stmt -> unit
method pAttr : Cil.attribute -> Pretty.doc * bool
method pAttrParam : unit -> Cil.attrparam -> Pretty.doc
method pAttrs : unit -> Cil.attributes -> Pretty.doc
method pBlock : unit -> Cil.block -> Pretty.doc
method pExp : unit -> Cil.exp -> Pretty.doc
method pFieldDecl : unit -> Cil.fieldinfo -> Pretty.doc
method pGlobal : unit -> Cil.global -> Pretty.doc
method pInit : unit -> Cil.init -> Pretty.doc
method pInstr : unit -> Cil.instr -> Pretty.doc
method pLabel : unit -> Cil.label -> Pretty.doc
method pLineDirective : ?forcefile:bool -> Cil.location -> Pretty.doc
method pLval : unit -> Cil.lval -> Pretty.doc
method pOffset : Pretty.doc -> Cil.offset -> Pretty.doc
method pStmt : unit -> Cil.stmt -> Pretty.doc
method pStmtKind : Cil.stmt -> unit -> Cil.stmtkind -> Pretty.doc
method pType : Pretty.doc option -> unit -> Cil.typ -> Pretty.doc
method pVDecl : unit -> Cil.varinfo -> Pretty.doc
method pVar : Cil.varinfo -> Pretty.doc
end
class defaultCilPrinterClass : cilPrinter
val defaultCilPrinter : Cil.cilPrinter
class plainCilPrinterClass : cilPrinter
val plainCilPrinter : Cil.cilPrinter
val printerForMaincil : Cil.cilPrinter Pervasives.ref
val printType : Cil.cilPrinter -> unit -> Cil.typ -> Pretty.doc
val printExp : Cil.cilPrinter -> unit -> Cil.exp -> Pretty.doc
val printLval : Cil.cilPrinter -> unit -> Cil.lval -> Pretty.doc
val printGlobal : Cil.cilPrinter -> unit -> Cil.global -> Pretty.doc
val printAttr : Cil.cilPrinter -> unit -> Cil.attribute -> Pretty.doc
val printAttrs : Cil.cilPrinter -> unit -> Cil.attributes -> Pretty.doc
val printInstr : Cil.cilPrinter -> unit -> Cil.instr -> Pretty.doc
val printStmt : Cil.cilPrinter -> unit -> Cil.stmt -> Pretty.doc
val printBlock : Cil.cilPrinter -> unit -> Cil.block -> Pretty.doc
val dumpStmt :
Cil.cilPrinter -> Pervasives.out_channel -> int -> Cil.stmt -> unit
val dumpBlock :
Cil.cilPrinter -> Pervasives.out_channel -> int -> Cil.block -> unit
val printInit : Cil.cilPrinter -> unit -> Cil.init -> Pretty.doc
val dumpInit :
Cil.cilPrinter -> Pervasives.out_channel -> int -> Cil.init -> unit
val d_type : unit -> Cil.typ -> Pretty.doc
val d_exp : unit -> Cil.exp -> Pretty.doc
val d_lval : unit -> Cil.lval -> Pretty.doc
val d_offset : Pretty.doc -> unit -> Cil.offset -> Pretty.doc
val d_init : unit -> Cil.init -> Pretty.doc
val d_binop : unit -> Cil.binop -> Pretty.doc
val d_unop : unit -> Cil.unop -> Pretty.doc
val d_attr : unit -> Cil.attribute -> Pretty.doc
val d_attrparam : unit -> Cil.attrparam -> Pretty.doc
val d_attrlist : unit -> Cil.attributes -> Pretty.doc
val d_instr : unit -> Cil.instr -> Pretty.doc
val d_label : unit -> Cil.label -> Pretty.doc
val d_stmt : unit -> Cil.stmt -> Pretty.doc
val d_block : unit -> Cil.block -> Pretty.doc
val d_global : unit -> Cil.global -> Pretty.doc
val dn_exp : unit -> Cil.exp -> Pretty.doc
val dn_lval : unit -> Cil.lval -> Pretty.doc
val dn_init : unit -> Cil.init -> Pretty.doc
val dn_type : unit -> Cil.typ -> Pretty.doc
val dn_global : unit -> Cil.global -> Pretty.doc
val dn_attrlist : unit -> Cil.attributes -> Pretty.doc
val dn_attr : unit -> Cil.attribute -> Pretty.doc
val dn_attrparam : unit -> Cil.attrparam -> Pretty.doc
val dn_stmt : unit -> Cil.stmt -> Pretty.doc
val dn_instr : unit -> Cil.instr -> Pretty.doc
val d_shortglobal : unit -> Cil.global -> Pretty.doc
val dumpGlobal :
Cil.cilPrinter -> Pervasives.out_channel -> Cil.global -> unit
val dumpFile :
Cil.cilPrinter -> Pervasives.out_channel -> string -> Cil.file -> unit
val bug : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val unimp : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val error : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val errorLoc :
Cil.location -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
val warn : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val warnOpt : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val warnContext : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val warnContextOpt : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val warnLoc :
Cil.location -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
val d_plainexp : unit -> Cil.exp -> Pretty.doc
val d_plaininit : unit -> Cil.init -> Pretty.doc
val d_plainlval : unit -> Cil.lval -> Pretty.doc
val d_plaintype : unit -> Cil.typ -> Pretty.doc
val uniqueVarNames : Cil.file -> unit
val peepHole2 :
(Cil.instr * Cil.instr -> Cil.instr list option) -> Cil.stmt list -> unit
val peepHole1 :
(Cil.instr -> Cil.instr list option) -> Cil.stmt list -> unit
exception SizeOfError of string * Cil.typ
val bitsSizeOf : Cil.typ -> int
val sizeOf : Cil.typ -> Cil.exp
val alignOf_int : Cil.typ -> int
val bitsOffset : Cil.typ -> Cil.offset -> int * int
val char_is_unsigned : bool Pervasives.ref
val little_endian : bool Pervasives.ref
val underscore_name : bool Pervasives.ref
val locUnknown : Cil.location
val get_instrLoc : Cil.instr -> Cil.location
val get_globalLoc : Cil.global -> Cil.location
val get_stmtLoc : Cil.stmtkind -> Cil.location
val dExp : Pretty.doc -> Cil.exp
val dInstr : Pretty.doc -> Cil.location -> Cil.instr
val dGlobal : Pretty.doc -> Cil.location -> Cil.global
val mapNoCopy : ('a -> 'a) -> 'a list -> 'a list
val mapNoCopyList : ('a -> 'a list) -> 'a list -> 'a list
val startsWith : string -> string -> bool
type formatArg =
Fe of Cil.exp
| Feo of Cil.exp option
| Fu of Cil.unop
| Fb of Cil.binop
| Fk of Cil.ikind
| FE of Cil.exp list
| Ff of (string * Cil.typ * Cil.attributes)
| FF of (string * Cil.typ * Cil.attributes) list
| Fva of bool
| Fv of Cil.varinfo
| Fl of Cil.lval
| Flo of Cil.lval option
| Fo of Cil.offset
| Fc of Cil.compinfo
| Fi of Cil.instr
| FI of Cil.instr list
| Ft of Cil.typ
| Fd of int
| Fg of string
| Fs of Cil.stmt
| FS of Cil.stmt list
| FA of Cil.attributes
| Fp of Cil.attrparam
| FP of Cil.attrparam list
| FX of string
val d_formatarg : unit -> Cil.formatArg -> Pretty.doc
val lowerConstants : bool Pervasives.ref
end