From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Alpha.html | 79 - cil/doc/api/Cfg.html | 69 - cil/doc/api/Cil.cilPrinter.html | 118 - cil/doc/api/Cil.cilVisitor.html | 125 - cil/doc/api/Cil.defaultCilPrinterClass.html | 36 - cil/doc/api/Cil.html | 3337 ---------------------- cil/doc/api/Cil.nopCilVisitor.html | 35 - cil/doc/api/Cil.plainCilPrinterClass.html | 36 - cil/doc/api/Cillower.html | 40 - cil/doc/api/Clist.html | 118 - cil/doc/api/Dataflow.BackwardsDataFlow.html | 54 - cil/doc/api/Dataflow.BackwardsTransfer.html | 83 - cil/doc/api/Dataflow.ForwardsDataFlow.html | 53 - cil/doc/api/Dataflow.ForwardsTransfer.html | 88 - cil/doc/api/Dataflow.html | 114 - cil/doc/api/Dominators.html | 58 - cil/doc/api/Errormsg.html | 141 - cil/doc/api/Formatcil.html | 84 - cil/doc/api/Pretty.MakeMapPrinter.html | 63 - cil/doc/api/Pretty.MakeSetPrinter.html | 63 - cil/doc/api/Pretty.html | 268 -- cil/doc/api/Stats.html | 69 - cil/doc/api/index.html | 83 - cil/doc/api/index_attributes.html | 30 - cil/doc/api/index_class_types.html | 41 - cil/doc/api/index_classes.html | 46 - cil/doc/api/index_exceptions.html | 53 - cil/doc/api/index_methods.html | 228 -- cil/doc/api/index_module_types.html | 36 - cil/doc/api/index_modules.html | 108 - cil/doc/api/index_types.html | 271 -- cil/doc/api/index_values.html | 1964 ------------- cil/doc/api/style.css | 32 - cil/doc/api/type_Alpha.html | 43 - cil/doc/api/type_Cfg.html | 35 - cil/doc/api/type_Cil.cilPrinter.html | 48 - cil/doc/api/type_Cil.cilVisitor.html | 43 - cil/doc/api/type_Cil.defaultCilPrinterClass.html | 25 - cil/doc/api/type_Cil.html | 622 ---- cil/doc/api/type_Cil.nopCilVisitor.html | 25 - cil/doc/api/type_Cil.plainCilPrinterClass.html | 25 - cil/doc/api/type_Cillower.html | 25 - cil/doc/api/type_Clist.html | 44 - cil/doc/api/type_Dataflow.BackwardsDataFlow.html | 26 - cil/doc/api/type_Dataflow.BackwardsTransfer.html | 44 - cil/doc/api/type_Dataflow.ForwardsDataFlow.html | 25 - cil/doc/api/type_Dataflow.ForwardsTransfer.html | 51 - cil/doc/api/type_Dataflow.html | 85 - cil/doc/api/type_Dominators.html | 32 - cil/doc/api/type_Errormsg.html | 64 - cil/doc/api/type_Formatcil.html | 45 - cil/doc/api/type_Pretty.MakeMapPrinter.html | 42 - cil/doc/api/type_Pretty.MakeSetPrinter.html | 40 - cil/doc/api/type_Pretty.html | 111 - cil/doc/api/type_Stats.html | 36 - 55 files changed, 9559 deletions(-) delete mode 100644 cil/doc/api/Alpha.html delete mode 100644 cil/doc/api/Cfg.html delete mode 100644 cil/doc/api/Cil.cilPrinter.html delete mode 100644 cil/doc/api/Cil.cilVisitor.html delete mode 100644 cil/doc/api/Cil.defaultCilPrinterClass.html delete mode 100644 cil/doc/api/Cil.html delete mode 100644 cil/doc/api/Cil.nopCilVisitor.html delete mode 100644 cil/doc/api/Cil.plainCilPrinterClass.html delete mode 100644 cil/doc/api/Cillower.html delete mode 100644 cil/doc/api/Clist.html delete mode 100644 cil/doc/api/Dataflow.BackwardsDataFlow.html delete mode 100644 cil/doc/api/Dataflow.BackwardsTransfer.html delete mode 100644 cil/doc/api/Dataflow.ForwardsDataFlow.html delete mode 100644 cil/doc/api/Dataflow.ForwardsTransfer.html delete mode 100644 cil/doc/api/Dataflow.html delete mode 100644 cil/doc/api/Dominators.html delete mode 100644 cil/doc/api/Errormsg.html delete mode 100644 cil/doc/api/Formatcil.html delete mode 100644 cil/doc/api/Pretty.MakeMapPrinter.html delete mode 100644 cil/doc/api/Pretty.MakeSetPrinter.html delete mode 100644 cil/doc/api/Pretty.html delete mode 100644 cil/doc/api/Stats.html delete mode 100644 cil/doc/api/index.html delete mode 100644 cil/doc/api/index_attributes.html delete mode 100644 cil/doc/api/index_class_types.html delete mode 100644 cil/doc/api/index_classes.html delete mode 100644 cil/doc/api/index_exceptions.html delete mode 100644 cil/doc/api/index_methods.html delete mode 100644 cil/doc/api/index_module_types.html delete mode 100644 cil/doc/api/index_modules.html delete mode 100644 cil/doc/api/index_types.html delete mode 100644 cil/doc/api/index_values.html delete mode 100644 cil/doc/api/style.css delete mode 100644 cil/doc/api/type_Alpha.html delete mode 100644 cil/doc/api/type_Cfg.html delete mode 100644 cil/doc/api/type_Cil.cilPrinter.html delete mode 100644 cil/doc/api/type_Cil.cilVisitor.html delete mode 100644 cil/doc/api/type_Cil.defaultCilPrinterClass.html delete mode 100644 cil/doc/api/type_Cil.html delete mode 100644 cil/doc/api/type_Cil.nopCilVisitor.html delete mode 100644 cil/doc/api/type_Cil.plainCilPrinterClass.html delete mode 100644 cil/doc/api/type_Cillower.html delete mode 100644 cil/doc/api/type_Clist.html delete mode 100644 cil/doc/api/type_Dataflow.BackwardsDataFlow.html delete mode 100644 cil/doc/api/type_Dataflow.BackwardsTransfer.html delete mode 100644 cil/doc/api/type_Dataflow.ForwardsDataFlow.html delete mode 100644 cil/doc/api/type_Dataflow.ForwardsTransfer.html delete mode 100644 cil/doc/api/type_Dataflow.html delete mode 100644 cil/doc/api/type_Dominators.html delete mode 100644 cil/doc/api/type_Errormsg.html delete mode 100644 cil/doc/api/type_Formatcil.html delete mode 100644 cil/doc/api/type_Pretty.MakeMapPrinter.html delete mode 100644 cil/doc/api/type_Pretty.MakeSetPrinter.html delete mode 100644 cil/doc/api/type_Pretty.html delete mode 100644 cil/doc/api/type_Stats.html (limited to 'cil/doc/api') diff --git a/cil/doc/api/Alpha.html b/cil/doc/api/Alpha.html deleted file mode 100644 index 699fac09..00000000 --- a/cil/doc/api/Alpha.html +++ /dev/null @@ -1,79 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Alpha - - -
Previous - Up - Next -
-

Module Alpha

-
-
module Alpha: sig .. end
ALPHA conversion
-
-
type 'a undoAlphaElement
-
-This is the type of the elements that are recorded by the alpha - conversion functions in order to be able to undo changes to the tables - they modify. Useful for implementing - scoping
-
- -
type 'a alphaTableData
-
-This is the type of the elements of the alpha renaming table. These - elements can carry some data associated with each occurrence of the name.
-
- -
val newAlphaName : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
       undolist:'a undoAlphaElement list Pervasives.ref option ->
       lookupname:string -> data:'a -> string * 'a
-Create a new name based on a given name. The new name is formed from a - prefix (obtained from the given name by stripping a suffix consisting of _ - followed by only digits), followed by a special separator and then by a - positive integer suffix. The first argument is a table mapping name - prefixes to some data that specifies what suffixes have been used and how - to create the new one. This function updates the table with the new - largest suffix generated. The "undolist" argument, when present, will be - used by the function to record information that can be used by - Alpha.undoAlphaChanges to undo those changes. Note that the undo - information will be in reverse order in which the action occurred. Returns - the new name and, if different from the lookupname, the location of the - previous occurrence. This function knows about the location implicitly - from the Cil.currentLoc.
-
-
val registerAlphaName : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
       undolist:'a undoAlphaElement list Pervasives.ref option ->
       lookupname:string -> data:'a -> unit
-Register a name with an alpha conversion table to ensure that when later - we call newAlphaName we do not end up generating this one
-
-
val docAlphaTable : unit ->
       (string, 'a alphaTableData Pervasives.ref) Hashtbl.t -> Pretty.doc
-Split the name in preparation for newAlphaName. The prefix returned is - used to index into the hashtable. The next result value is a separator - (either empty or the separator chosen to separate the original name from - the index)
-
-
val getAlphaPrefix : lookupname:string -> string
val undoAlphaChanges : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
       undolist:'a undoAlphaElement list -> unit
-Undo the changes to a table
-
- \ No newline at end of file diff --git a/cil/doc/api/Cfg.html b/cil/doc/api/Cfg.html deleted file mode 100644 index 142de8ae..00000000 --- a/cil/doc/api/Cfg.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cfg - - -
Previous - Up - Next -
-

Module Cfg

-
-
module Cfg: sig .. end
Code to compute the control-flow graph of a function or file. - This will fill in the preds and succs fields of Cil.stmt -

- - This is required for several other extensions, such as Dataflow.
-

-
val computeFileCFG : Cil.file -> unit
-Compute the CFG for an entire file, by calling cfgFun on each function.
-
-
val clearFileCFG : Cil.file -> unit
-clear the sid, succs, and preds fields of each statement.
-
-
val cfgFun : Cil.fundec -> int
-Compute a control flow graph for fd. Stmts in fd have preds and succs - filled in
-
-
val clearCFGinfo : Cil.fundec -> unit
-clear the sid, succs, and preds fields of each statment in a function
-
-
val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit
-print control flow graph (in dot form) for fundec to channel
-
-
val printCfgFilename : string -> Cil.fundec -> unit
-Print control flow graph (in dot form) for fundec to file
-
-
val start_id : int Pervasives.ref
-Next statement id that will be assigned.
-
-
val nodeList : Cil.stmt list Pervasives.ref
-All of the nodes in a file.
-
-
val numNodes : int Pervasives.ref
-number of nodes in the CFG
-
- \ No newline at end of file diff --git a/cil/doc/api/Cil.cilPrinter.html b/cil/doc/api/Cil.cilPrinter.html deleted file mode 100644 index 1b9511f6..00000000 --- a/cil/doc/api/Cil.cilPrinter.html +++ /dev/null @@ -1,118 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.cilPrinter - - -
Previous - Up - 
-

Class type Cil.cilPrinter

-
-
class type cilPrinter = object .. end
A printer interface for CIL trees. Create instantiations of - this type by specializing the class Cil.defaultCilPrinterClass.
-
-
method pVDecl : unit -> varinfo -> Pretty.doc
-Invoked for each variable declaration. Note that variable - declarations are all the GVar, GVarDecl, GFun, all the varinfo - in formals of function types, and the formals and locals for function - definitions.
-
-
method pVar : varinfo -> Pretty.doc
-Invoked on each variable use.
-
-
method pLval : unit -> lval -> Pretty.doc
-Invoked on each lvalue occurrence
-
-
method pOffset : Pretty.doc -> offset -> Pretty.doc
-Invoked on each offset occurrence. The second argument is the base.
-
-
method pInstr : unit -> instr -> Pretty.doc
-Invoked on each instruction occurrence.
-
-
method pLabel : unit -> label -> Pretty.doc
-Print a label.
-
-
method pStmt : unit -> stmt -> Pretty.doc
-Control-flow statement. This is used by - Cil.printGlobal and by Cil.dumpGlobal.
-
-
method dStmt : Pervasives.out_channel -> int -> stmt -> unit
-Dump a control-flow statement to a file with a given indentation. - This is used by Cil.dumpGlobal.
-
-
method dBlock : Pervasives.out_channel -> int -> block -> unit
-Dump a control-flow block to a file with a given indentation. - This is used by Cil.dumpGlobal.
-
-
method pBlock : unit -> block -> Pretty.doc
method pBlock : unit -> block -> Pretty.doc
-Print a block.
-
-
method pGlobal : unit -> global -> Pretty.doc
-Global (vars, types, etc.). This can be slow and is used only by - Cil.printGlobal but not by Cil.dumpGlobal.
-
-
method dGlobal : Pervasives.out_channel -> global -> unit
-Dump a global to a file with a given indentation. This is used by - Cil.dumpGlobal
-
-
method pFieldDecl : unit -> fieldinfo -> Pretty.doc
-A field declaration
-
-
method pType : Pretty.doc option -> unit -> typ -> Pretty.doc
method pAttr : attribute -> Pretty.doc * bool
-Attribute. Also return an indication whether this attribute must be - printed inside the __attribute__ list or not.
-
-
method pAttrParam : unit -> attrparam -> Pretty.doc
-Attribute parameter
-
-
method pAttrs : unit -> attributes -> Pretty.doc
-Attribute lists
-
-
method pLineDirective : ?forcefile:bool -> location -> Pretty.doc
-Print a line-number. This is assumed to come always on an empty line. - If the forcefile argument is present and is true then the file name - will be printed always. Otherwise the file name is printed only if it - is different from the last time time this function is called. The last - file name is stored in a private field inside the cilPrinter object.
-
-
method pStmtKind : stmt -> unit -> stmtkind -> Pretty.doc
-Print a statement kind. The code to be printed is given in the - Cil.stmtkind argument. The initial Cil.stmt argument - records the statement which follows the one being printed; - Cil.defaultCilPrinterClass uses this information to prettify - statement printing in certain special cases.
-
-
method pExp : unit -> exp -> Pretty.doc
-Print expressions
-
-
method pInit : unit -> init -> Pretty.doc
-Print initializers. This can be slow and is used by - Cil.printGlobal but not by Cil.dumpGlobal.
-
-
method dInit : Pervasives.out_channel -> int -> init -> unit
-Dump a global to a file with a given indentation. This is used by - Cil.dumpGlobal
-
- \ No newline at end of file diff --git a/cil/doc/api/Cil.cilVisitor.html b/cil/doc/api/Cil.cilVisitor.html deleted file mode 100644 index f8c64963..00000000 --- a/cil/doc/api/Cil.cilVisitor.html +++ /dev/null @@ -1,125 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.cilVisitor - - -
 Up - Next -
-

Class type Cil.cilVisitor

-
-
class type cilVisitor = object .. end
A visitor interface for traversing CIL trees. Create instantiations of - this type by specializing the class Cil.nopCilVisitor. Each of the - specialized visiting functions can also call the queueInstr to specify - that some instructions should be inserted before the current instruction - or statement. Use syntax like self#queueInstr to call a method - associated with the current object.
-
-
method vvdec : varinfo -> varinfo visitAction
-Invoked for each variable declaration. The subtrees to be traversed - are those corresponding to the type and attributes of the variable. - Note that variable declarations are all the GVar, GVarDecl, GFun, - all the varinfo in formals of function types, and the formals and - locals for function definitions. This means that the list of formals - in a function definition will be traversed twice, once as part of the - function type and second as part of the formals in a function - definition.
-
-
method vvrbl : varinfo -> varinfo visitAction
-Invoked on each variable use. Here only the SkipChildren and - ChangeTo actions make sense since there are no subtrees. Note that - the type and attributes of the variable are not traversed for a - variable use
-
-
method vexpr : exp -> exp visitAction
-Invoked on each expression occurrence. The subtrees are the - subexpressions, the types (for a Cast or SizeOf expression) or the - variable use.
-
-
method vlval : lval -> lval visitAction
-Invoked on each lvalue occurrence
-
-
method voffs : offset -> offset visitAction
-Invoked on each offset occurrence that is *not* as part - of an initializer list specification, i.e. in an lval or - recursively inside an offset.
-
-
method vinitoffs : offset -> offset visitAction
-Invoked on each offset appearing in the list of a - CompoundInit initializer.
-
-
method vinst : instr -> instr list visitAction
-Invoked on each instruction occurrence. The ChangeTo action can - replace this instruction with a list of instructions
-
-
method vstmt : stmt -> stmt visitAction
-Control-flow statement. The default DoChildren action does not - create a new statement when the components change. Instead it updates - the contents of the original statement. This is done to preserve the - sharing with Goto and Case statements that point to the original - statement. If you use the ChangeTo action then you should take care - of preserving that sharing yourself.
-
-
method vblock : block -> block visitAction
-Block.
-
-
method vfunc : fundec -> fundec visitAction
-Function definition. - Replaced in place.
-
-
method vglob : global -> global list visitAction
-Global (vars, types, - etc.)
-
-
method vinit : init -> init visitAction
-Initializers for globals
-
-
method vtype : typ -> typ visitAction
-Use of some type. Note - that for structure/union - and enumeration types the - definition of the - composite type is not - visited. Use vglob to - visit it.
-
-
method vattr : attribute -> attribute list visitAction
-Attribute. Each attribute can be replaced by a list
-
-
method vattrparam : attrparam -> attrparam visitAction
-Attribute parameters.
-
-
method queueInstr : instr list -> unit
-Add here instructions while visiting to queue them to preceede the - current statement or instruction being processed. Use this method only - when you are visiting an expression that is inside a function body, or - a statement, because otherwise there will no place for the visitor to - place your instructions.
-
-
method unqueueInstr : unit -> instr list
-Gets the queue of instructions and resets the queue. This is done - automatically for you when you visit statments.
-
- \ No newline at end of file diff --git a/cil/doc/api/Cil.defaultCilPrinterClass.html b/cil/doc/api/Cil.defaultCilPrinterClass.html deleted file mode 100644 index d8595595..00000000 --- a/cil/doc/api/Cil.defaultCilPrinterClass.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.defaultCilPrinterClass - - -
Previous - Up - Next -
-

Class Cil.defaultCilPrinterClass

-
-
class defaultCilPrinterClass : cilPrinter
- \ No newline at end of file diff --git a/cil/doc/api/Cil.html b/cil/doc/api/Cil.html deleted file mode 100644 index f2e09c27..00000000 --- a/cil/doc/api/Cil.html +++ /dev/null @@ -1,3337 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil - - -
Previous - Up - Next -
-

Module Cil

-
-
module Cil: sig .. end
CIL API Documentation. An html version of this document can be found at - http://manju.cs.berkeley.edu/cil.
-
-
val initCIL : unit -> unit
-Call this function to perform some initialization. Call if after you have - set Cil.msvcMode.
-
-
val cilVersion : string
-This are the CIL version numbers. A CIL version is a number of the form - M.m.r (major, minor and release)
-
-
val cilVersionMajor : int
val cilVersionMinor : int
val cilVersionRevision : int

-This module defines the abstract syntax of CIL. It also provides utility - functions for traversing the CIL data structures, and pretty-printing - them. The parser for both the GCC and MSVC front-ends can be invoked as - Frontc.parse: string -> unit -> Cil.file. This function must be given - the name of a preprocessed C file and will return the top-level data - structure that describes a whole source file. By default the parsing and - elaboration into CIL is done as for GCC source. If you want to use MSVC - source you must set the Cil.msvcMode to true and must also invoke the - function Frontc.setMSVCMode: unit -> unit.
-
-The Abstract Syntax of CIL
-
-The top-level representation of a CIL source file (and the result of the - parsing and elaboration). Its main contents is the list of global - declarations and definitions. You can iterate over the globals in a - Cil.file using the following iterators: Cil.mapGlobals, - Cil.iterGlobals and Cil.foldGlobals. You can also use the - Cil.dummyFile when you need a Cil.file as a placeholder. For each - global item CIL stores the source location where it appears (using the - type Cil.location)
-
type file = { - - - - - - - - - - - - - - - - - - - -
-   -mutable fileName : string;(*The complete file name*)
-   -mutable globals : global list;(*List of globals as they will appear - in the printed file*)
-   -mutable globinit : fundec option;(*An optional global initializer function. This is a function where - you can put stuff that must be executed before the program is - started. This function, is conceptually at the end of the file, - although it is not part of the globals list. Use Cil.getGlobInit - to create/get one.*)
-   -mutable globinitcalled : bool;(*Whether the global initialization function is called in main. This - should always be false if there is no global initializer. When you - create a global initialization CIL will try to insert code in main - to call it. This will not happen if your file does not contain a - function called "main"*)
-} - -
-Top-level representation of a C source file
-
- -
type comment = location * string
- -
-Globals. The main type for representing global declarations and - definitions. A list of these form a CIL file. The order of globals in the - file is generally important.
-
type global = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -GType of typeinfo * location(*A typedef. All uses of type names (through the TNamed constructor) - must be preceded in the file by a definition of the name. The string - is the defined name and always not-empty.*)
-| -GCompTag of compinfo * location(*Defines a struct/union tag with some fields. There must be one of - these for each struct/union tag that you use (through the TComp - constructor) since this is the only context in which the fields are - printed. Consequently nested structure tag definitions must be - broken into individual definitions with the innermost structure - defined first.*)
-| -GCompTagDecl of compinfo * location(*Declares a struct/union tag. Use as a forward declaration. This is - printed without the fields.*)
-| -GEnumTag of enuminfo * location(*Declares an enumeration tag with some fields. There must be one of - these for each enumeration tag that you use (through the TEnum - constructor) since this is the only context in which the items are - printed.*)
-| -GEnumTagDecl of enuminfo * location(*Declares an enumeration tag. Use as a forward declaration. This is - printed without the items.*)
-| -GVarDecl of varinfo * location(*A variable declaration (not a definition). If the variable has a - function type then this is a prototype. There can be several - declarations and at most one definition for a given variable. If both - forms appear then they must share the same varinfo structure. A - prototype shares the varinfo with the fundec of the definition. Either - has storage Extern or there must be a definition in this file*)
-| -GVar of varinfo * initinfo * location(*A variable definition. Can have an initializer. The initializer is - updateable so that you can change it without requiring to recreate - the list of globals. There can be at most one definition for a - variable in an entire program. Cannot have storage Extern or function - type.*)
-| -GFun of fundec * location(*A function definition.*)
-| -GAsm of string * location(*Global asm statement. These ones - can contain only a template*)
-| -GPragma of attribute * location(*Pragmas at top level. Use the same - syntax as attributes*)
-| -GText of string(*Some text (printed verbatim) at - top level. E.g., this way you can - put comments in the output.*)
- -
-A global declaration or definition
-
- -
-Types. A C type is represented in CIL using the type Cil.typ. - Among types we differentiate the integral types (with different kinds - denoting the sign and precision), floating point types, enumeration types, - array and pointer types, and function types. Every type is associated with - a list of attributes, which are always kept in sorted order. Use - Cil.addAttribute and Cil.addAttributes to construct list of - attributes. If you want to inspect a type, you should use - Cil.unrollType or Cil.unrollTypeDeep to see through the uses of - named types.
-
-CIL is configured at build-time with the sizes and alignments of the - underlying compiler (GCC or MSVC). CIL contains functions that can compute - the size of a type (in bits) Cil.bitsSizeOf, the alignment of a type - (in bytes) Cil.alignOf_int, and can convert an offset into a start and - width (both in bits) using the function Cil.bitsOffset. At the moment - these functions do not take into account the packed attributes and - pragmas.
-
type typ = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -TVoid of attributes(*Void type. Also predefined as Cil.voidType*)
-| -TInt of ikind * attributes(*An integer type. The kind specifies the sign and width. Several - useful variants are predefined as Cil.intType, Cil.uintType, - Cil.longType, Cil.charType.*)
-| -TFloat of fkind * attributes(*A floating-point type. The kind specifies the precision. You can - also use the predefined constant Cil.doubleType.*)
-| -TPtr of typ * attributes(*Pointer type. Several useful variants are predefined as - Cil.charPtrType, Cil.charConstPtrType (pointer to a - constant character), Cil.voidPtrType, - Cil.intPtrType*)
-| -TArray of typ * exp option * attributes(*Array type. It indicates the base type and the array length.*)
-| -TFun of typ * (string * typ * attributes) list option * bool
* attributes		(*Function type. Indicates the type of the result, the name, type - and name attributes of the formal arguments (None if no - arguments were specified, as in a function whose definition or - prototype we have not seen; Some [] means void). Use - Cil.argsToList to obtain a list of arguments. The boolean - indicates if it is a variable-argument function. If this is the - type of a varinfo for which we have a function declaration then - the information for the formals must match that in the - function's sformals. Use Cil.setFormals, or - Cil.setFunctionType, or Cil.makeFormalVar for this - purpose.*)
-| -TNamed of typeinfo * attributes
-| -TComp of compinfo * attributes(*The most delicate issue for C types is that recursion that is possible by - using structures and pointers. To address this issue we have a more - complex representation for structured types (struct and union). Each such - type is represented using the Cil.compinfo type. For each composite - type the Cil.compinfo structure must be declared at top level using - GCompTag and all references to it must share the same copy of the - structure. The attributes given are those pertaining to this use of the - type and are in addition to the attributes that were given at the - definition of the type and which are stored in the Cil.compinfo.*)
-| -TEnum of enuminfo * attributes(*A reference to an enumeration type. All such references must - share the enuminfo among them and with a GEnumTag global that - precedes all uses. The attributes refer to this use of the - enumeration and are in addition to the attributes of the - enumeration itself, which are stored inside the enuminfo*)
-| -TBuiltin_va_list of attributes(*This is the same as the gcc's type with the same name*)
- - -
-There are a number of functions for querying the kind of a type. These are - Cil.isIntegralType, - Cil.isArithmeticType, - Cil.isPointerType, - Cil.isFunctionType, - Cil.isArrayType. -

- - There are two easy ways to scan a type. First, you can use the -Cil.existsType to return a boolean answer about a type. This function -is controlled by a user-provided function that is queried for each type that is -used to construct the current type. The function can specify whether to -terminate the scan with a boolean result or to continue the scan for the -nested types. -

- - The other method for scanning types is provided by the visitor interface (see - Cil.cilVisitor). -

- - If you want to compare types (or to use them as hash-values) then you should -use instead type signatures (represented as Cil.typsig). These -contain the same information as types but canonicalized such that simple Ocaml -structural equality will tell whether two types are equal. Use -Cil.typeSig to compute the signature of a type. If you want to ignore -certain type attributes then use Cil.typeSigWithAttrs.
-
type ikind = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -IChar(*char*)
-| -ISChar(*signed char*)
-| -IUChar(*unsigned char*)
-| -IInt(*int*)
-| -IUInt(*unsigned int*)
-| -IShort(*short*)
-| -IUShort(*unsigned short*)
-| -ILong(*long*)
-| -IULong(*unsigned long*)
-| -ILongLong(*long long (or _int64 on Microsoft Visual C)*)
-| -IULongLong(*unsigned long long (or unsigned _int64 on Microsoft - Visual C)*)
- -

-Various kinds of integers
-
- -
type fkind = - - - - - - - - - - - - - - -
-| -FFloat(*float*)
-| -FDouble(*double*)
-| -FLongDouble(*long double*)
- -
-Various kinds of floating-point numbers
-
- -
-Attributes.
-
type attribute = - - - - -
-| -Attr of string * attrparam list(*An attribute has a name and some optional parameters. The name should not - start or end with underscore. When CIL parses attribute names it will - strip leading and ending underscores (to ensure that the multitude of GCC - attributes such as const, __const and __const__ all mean the same thing.)*)
- - -
type attributes = attribute list
-
-Attributes are lists sorted by the attribute name. Use the functions - Cil.addAttribute and Cil.addAttributes to insert attributes in an - attribute list and maintain the sortedness.
-
- -
type attrparam = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -AInt of int(*An integer constant*)
-| -AStr of string(*A string constant*)
-| -ACons of string * attrparam list(*Constructed attributes. These - are printed foo(a1,a2,...,an). - The list of parameters can be - empty and in that case the - parentheses are not printed.*)
-| -ASizeOf of typ(*A way to talk about types*)
-| -ASizeOfE of attrparam
-| -ASizeOfS of typsig(*Replacement for ASizeOf in type - signatures. Only used for - attributes inside typsigs.*)
-| -AAlignOf of typ
-| -AAlignOfE of attrparam
-| -AAlignOfS of typsig
-| -AUnOp of unop * attrparam
-| -ABinOp of binop * attrparam * attrparam
-| -ADot of attrparam * string(*a.foo **)
- -
-The type of parameters of attributes
-
- -
-Structures. The Cil.compinfo describes the definition of a - structure or union type. Each such Cil.compinfo must be defined at the - top-level using the GCompTag constructor and must be shared by all - references to this type (using either the TComp type constructor or from - the definition of the fields. -

- - If all you need is to scan the definition of each - composite type once, you can do that by scanning all top-level GCompTag. -

- - Constructing a Cil.compinfo can be tricky since it must contain fields - that might refer to the host Cil.compinfo and furthermore the type of - the field might need to refer to the Cil.compinfo for recursive types. - Use the Cil.mkCompInfo function to create a Cil.compinfo. You can - easily fetch the Cil.fieldinfo for a given field in a structure with - Cil.getCompField.
-
type compinfo = { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   -mutable cstruct : bool;(*True if struct, False if union*)
-   -mutable cname : string;(*The name. Always non-empty. Use Cil.compFullName to get the full - name of a comp (along with the struct or union)*)
-   -mutable ckey : int;(*A unique integer. This is assigned by Cil.mkCompInfo using a - global variable in the Cil module. Thus two identical structs in two - different files might have different keys. Use Cil.copyCompInfo to - copy structures so that a new key is assigned.*)
-   -mutable cfields : fieldinfo list;(*Information about the fields. Notice that each fieldinfo has a - pointer back to the host compinfo. This means that you should not - share fieldinfo's between two compinfo's*)
-   -mutable cattr : attributes;(*The attributes that are defined at the same time as the composite - type. These attributes can be supplemented individually at each - reference to this compinfo using the TComp type constructor.*)
-   -mutable cdefined : bool;(*This boolean flag can be used to distinguish between structures - that have not been defined and those that have been defined but have - no fields (such things are allowed in gcc).*)
-   -mutable creferenced : bool;(*True if used. Initially set to false.*)
-} - -

-The definition of a structure or union type. Use Cil.mkCompInfo to - make one and use Cil.copyCompInfo to copy one (this ensures that a new - key is assigned and that the fields have the right pointers to parents.).
-
- -
-Structure fields. The Cil.fieldinfo structure is used to describe - a structure or union field. Fields, just like variables, can have - attributes associated with the field itself or associated with the type of - the field (stored along with the type of the field).
-
type fieldinfo = { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   -mutable fcomp : compinfo;(*The host structure that contains this field. There can be only one - compinfo that contains the field.*)
-   -mutable fname : string;(*The name of the field. Might be the value of Cil.missingFieldName - in which case it must be a bitfield and is not printed and it does not - participate in initialization*)
-   -mutable ftype : typ;(*The type*)
-   -mutable fbitfield : int option;(*If a bitfield then ftype should be an integer type and the width of - the bitfield must be 0 or a positive integer smaller or equal to the - width of the integer type. A field of width 0 is used in C to control - the alignment of fields.*)
-   -mutable fattr : attributes;(*The attributes for this field (not for its type)*)
-   -mutable floc : location;(*The location where this field is defined*)
-} - -
-Information about a struct/union field
-
- -
-Enumerations. Information about an enumeration. This is shared by all - references to an enumeration. Make sure you have a GEnumTag for each of - of these.
-
type enuminfo = { - - - - - - - - - - - - - - - - - - - -
-   -mutable ename : string;(*The name. Always non-empty.*)
-   -mutable eitems : (string * exp * location) list;(*Items with names and values. This list should be non-empty. The item - values must be compile-time constants.*)
-   -mutable eattr : attributes;(*The attributes that are defined at the same time as the enumeration - type. These attributes can be supplemented individually at each - reference to this enuminfo using the TEnum type constructor.*)
-   -mutable ereferenced : bool;(*True if used. Initially set to false*)
-} - -
-Information about an enumeration
-
- -
-Enumerations. Information about an enumeration. This is shared by all - references to an enumeration. Make sure you have a GEnumTag for each of - of these.
-
type typeinfo = { - - - - - - - - - - - - - - -
-   -mutable tname : string;(*The name. Can be empty only in a GType when introducing a composite - or enumeration tag. If empty cannot be referred to from the file*)
-   -mutable ttype : typ;(*The actual type. This includes the attributes that were present in - the typedef*)
-   -mutable treferenced : bool;(*True if used. Initially set to false*)
-} - -
-Information about a defined type
-
- -
-Variables. - Each local or global variable is represented by a unique Cil.varinfo -structure. A global Cil.varinfo can be introduced with the GVarDecl or -GVar or GFun globals. A local varinfo can be introduced as part of a -function definition Cil.fundec. -

- - All references to a given global or local variable must refer to the same -copy of the varinfo. Each varinfo has a globally unique identifier that -can be used to index maps and hashtables (the name can also be used for this -purpose, except for locals from different functions). This identifier is -constructor using a global counter. -

- - It is very important that you construct varinfo structures using only one - of the following functions:

- - A varinfo is also used in a function type to denote the list of formals.
-
type varinfo = { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   -mutable vname : string;(*The name of the variable. Cannot be empty. It is primarily your - responsibility to ensure the uniqueness of a variable name. For local - variables Cil.makeTempVar helps you ensure that the name is unique.*)
-   -mutable vtype : typ;(*The declared type of the variable.*)
-   -mutable vattr : attributes;(*A list of attributes associated with the variable.*)
-   -mutable vstorage : storage;(*The storage-class*)
-   -mutable vglob : bool;(*True if this is a global variable*)
-   -mutable vinline : bool;(*Whether this varinfo is for an inline function.*)
-   -mutable vdecl : location;(*Location of variable declaration.*)
-   -mutable vid : int;(*A unique integer identifier. This field will be - set for you if you use one of the Cil.makeFormalVar, - Cil.makeLocalVar, Cil.makeTempVar, Cil.makeGlobalVar, or - Cil.copyVarinfo.*)
-   -mutable vaddrof : bool;(*True if the address of this variable is taken. CIL will set these - flags when it parses C, but you should make sure to set the flag - whenever your transformation create AddrOf expression.*)
-   -mutable vreferenced : bool;(*True if this variable is ever referenced. This is computed by - removeUnusedVars. It is safe to just initialize this to False*)
-} - -
-Information about a variable.
-
- -
type storage = - - - - - - - - - - - - - - - - - - - -
-| -NoStorage(*The default storage. Nothing is printed*)
-| -Static
-| -Register
-| -Extern
- -
-Storage-class information
-
- -
-Expressions. The CIL expression language contains only the side-effect free expressions of -C. They are represented as the type Cil.exp. There are several -interesting aspects of CIL expressions: -

- - Integer and floating point constants can carry their textual representation. -This way the integer 15 can be printed as 0xF if that is how it occurred in the -source. -

- - CIL uses 64 bits to represent the integer constants and also stores the width -of the integer type. Care must be taken to ensure that the constant is -representable with the given width. Use the functions Cil.kinteger, -Cil.kinteger64 and Cil.integer to construct constant -expressions. CIL predefines the constants Cil.zero, -Cil.one and Cil.mone (for -1). -

- - Use the functions Cil.isConstant and Cil.isInteger to test if -an expression is a constant and a constant integer respectively. -

- - CIL keeps the type of all unary and binary expressions. You can think of that -type qualifying the operator. Furthermore there are different operators for -arithmetic and comparisons on arithmetic types and on pointers. -

- - Another unusual aspect of CIL is that the implicit conversion between an -expression of array type and one of pointer type is made explicit, using the -StartOf expression constructor (which is not printed). If you apply the -AddrOf}constructor to an lvalue of type T then you will be getting an -expression of type TPtr(T). -

- - You can find the type of an expression with Cil.typeOf. -

- - You can perform constant folding on expressions using the function -Cil.constFold.
-
type exp = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -Const of constant(*Constant*)
-| -Lval of lval(*Lvalue*)
-| -SizeOf of typ(*sizeof(<type>). Has unsigned int type (ISO 6.5.3.4). This is not - turned into a constant because some transformations might want to - change types*)
-| -SizeOfE of exp(*sizeof(<expression>)*)
-| -SizeOfStr of string(*sizeof(string_literal). We separate this case out because this is the - only instance in which a string literal should not be treated as - having type pointer to character.*)
-| -AlignOf of typ(*This corresponds to the GCC __alignof_. Has unsigned int type*)
-| -AlignOfE of exp
-| -UnOp of unop * exp * typ(*Unary operation. Includes the type of the result.*)
-| -BinOp of binop * exp * exp * typ(*Binary operation. Includes the type of the result. The arithmetic - conversions are made explicit for the arguments.*)
-| -CastE of typ * exp(*Use Cil.mkCast to make casts.*)
-| -AddrOf of lval(*Always use Cil.mkAddrOf to construct one of these. Apply to an - lvalue of type T yields an expression of type TPtr(T)*)
-| -StartOf of lval(*Conversion from an array to a pointer to the beginning of the array. - Given an lval of type TArray(T) produces an expression of type - TPtr(T). In C this operation is implicit, the StartOf operator is - not printed. We have it in CIL because it makes the typing rules - simpler.*)
- -

-Expressions (Side-effect free)
-
- -
-Constants.
-
type constant = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -CInt64 of int64 * ikind * string option(*Integer constant. Give the ikind (see ISO9899 6.1.3.2) and the - textual representation, if available. (This allows us to print a - constant as, for example, 0xF instead of 15.) Use Cil.integer or - Cil.kinteger to create these. Watch out for integers that cannot be - represented on 64 bits. OCAML does not give Overflow exceptions.*)
-| -CStr of string
-| -CWStr of int64 list
-| -CChr of char(*Character constant. This has type int, so use charConstToInt - to read the value in case sign-extension is needed.*)
-| -CReal of float * fkind * string option(*Floating point constant. Give the fkind (see ISO 6.4.4.2) and also - the textual representation, if available.*)
-| -CEnum of exp * string * enuminfo(*An enumeration constant with the given value, name, from the given - enuminfo. This is used only if Cil.lowerConstants is true - (default). Use Cil.constFoldVisitor to replace these with integer - constants.*)
- -
-Literal constants
-
- -
type unop = - - - - - - - - - - - - - - -
-| -Neg(*Unary minus*)
-| -BNot(*Bitwise complement (~)*)
-| -LNot(*Logical Not (!)*)
- -
-Unary operators
-
- -
type binop = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -PlusA(*arithmetic +*)
-| -PlusPI(*pointer + integer*)
-| -IndexPI(*pointer + integer but only when - it arises from an expression - e[i] when e is a pointer and - not an array. This is semantically - the same as PlusPI but CCured uses - this as a hint that the integer is - probably positive.*)
-| -MinusA(*arithmetic -*)
-| -MinusPI(*pointer - integer*)
-| -MinusPP(*pointer - pointer*)
-| -Mult
-| -Div(*/*)
-| -Mod(*%*)
-| -Shiftlt(*shift left*)
-| -Shiftrt(*shift right*)
-| -Lt(*< (arithmetic comparison)*)
-| -Gt(*> (arithmetic comparison)*)
-| -Le(*<= (arithmetic comparison)*)
-| -Ge(*> (arithmetic comparison)*)
-| -Eq(*== (arithmetic comparison)*)
-| -Ne(*!= (arithmetic comparison)*)
-| -BAnd(*bitwise and*)
-| -BXor(*exclusive-or*)
-| -BOr(*inclusive-or*)
-| -LAnd(*logical and. Unlike other - expressions this one does not - always evaluate both operands. If - you want to use these, you must - set Cil.useLogicalOperators.*)
-| -LOr(*logical or. Unlike other - expressions this one does not - always evaluate both operands. If - you want to use these, you must - set Cil.useLogicalOperators.*)
- -
-Binary operations
-
- -
-Lvalues. Lvalues are the sublanguage of expressions that can appear at the left of an assignment or as operand to the address-of operator. -In C the syntax for lvalues is not always a good indication of the meaning -of the lvalue. For example the C value -
 
-a[0][1][2]
-
- might involve 1, 2 or 3 memory reads when used in an expression context, -depending on the declared type of the variable a. If a has type int -[4][4][4] then we have one memory read from somewhere inside the area -that stores the array a. On the other hand if a has type int *** then -the expression really means * ( * ( * (a + 0) + 1) + 2), in which case it is -clear that it involves three separate memory operations. -

- -An lvalue denotes the contents of a range of memory addresses. This range -is denoted as a host object along with an offset within the object. The -host object can be of two kinds: a local or global variable, or an object -whose address is in a pointer expression. We distinguish the two cases so -that we can tell quickly whether we are accessing some component of a -variable directly or we are accessing a memory location through a pointer. -To make it easy to -tell what an lvalue means CIL represents lvalues as a host object and an -offset (see Cil.lval). The host object (represented as -Cil.lhost) can be a local or global variable or can be the object -pointed-to by a pointer expression. The offset (represented as -Cil.offset) is a sequence of field or array index designators. -

- - Both the typing rules and the meaning of an lvalue is very precisely -specified in CIL. -

- - The following are a few useful function for operating on lvalues:

- -The following equivalences hold 
-Mem(AddrOf(Mem a, aoff)), off   = Mem a, aoff + off 
-Mem(AddrOf(Var v, aoff)), off   = Var v, aoff + off 
-AddrOf (Mem a, NoOffset)        = a                 
-

-
type lval = lhost * offset
-
-An lvalue
-
- -
type lhost = - - - - - - - - - -
-| -Var of varinfo(*The host is a variable.*)
-| -Mem of exp(*The host is an object of type T when the expression has pointer - TPtr(T).*)
- -
-The host part of an Cil.lval.
-
- -
type offset = - - - - - - - - - - - - - - -
-| -NoOffset(*No offset. Can be applied to any lvalue and does - not change either the starting address or the type. - This is used when the lval consists of just a host - or as a terminator in a list of other kinds of - offsets.*)
-| -Field of fieldinfo * offset(*A field offset. Can be applied only to an lvalue - that denotes a structure or a union that contains - the mentioned field. This advances the offset to the - beginning of the mentioned field and changes the - type to the type of the mentioned field.*)
-| -Index of exp * offset(*An array index offset. Can be applied only to an - lvalue that denotes an array. This advances the - starting address of the lval to the beginning of the - mentioned array element and changes the denoted type - to be the type of the array element*)
- -
-The offset part of an Cil.lval. Each offset can be applied to certain - kinds of lvalues and its effect is that it advances the starting address - of the lvalue and changes the denoted type, essentially focusing to some - smaller lvalue that is contained in the original one.
-
- -
-Initializers. -A special kind of expressions are those that can appear as initializers for -global variables (initialization of local variables is turned into -assignments). The initializers are represented as type Cil.init. You -can create initializers with Cil.makeZeroInit and you can conveniently -scan compound initializers them with Cil.foldLeftCompound or with Cil.foldLeftCompoundAll.
-
type init = - - - - - - - - - -
-| -SingleInit of exp(*A single initializer*)
-| -CompoundInit of typ * (offset * init) list(*Used only for initializers of structures, unions and arrays. The - offsets are all of the form Field(f, NoOffset) or Index(i, - NoOffset) and specify the field or the index being initialized. For - structures all fields must have an initializer (except the unnamed - bitfields), in the proper order. This is necessary since the offsets - are not printed. For unions there must be exactly one initializer. If - the initializer is not for the first field then a field designator is - printed, so you better be on GCC since MSVC does not understand this. - For arrays, however, we allow you to give only a prefix of the - initializers. You can scan an initializer list with - Cil.foldLeftCompound or with Cil.foldLeftCompoundAll.*)
- -
-Initializers for global variables.
-
- -
type initinfo = { - - - - -
-   -mutable init : init option;
-} - -
-We want to be able to update an initializer in a global variable, so we - define it as a mutable field
-
- -
-Function definitions. -A function definition is always introduced with a GFun constructor at the -top level. All the information about the function is stored into a -Cil.fundec. Some of the information (e.g. its name, type, -storage, attributes) is stored as a Cil.varinfo that is a field of the -fundec. To refer to the function from the expression language you must use -the varinfo. -

- - The function definition contains, in addition to the body, a list of all the -local variables and separately a list of the formals. Both kind of variables -can be referred to in the body of the function. The formals must also be shared -with the formals that appear in the function type. For that reason, to -manipulate formals you should use the provided functions -Cil.makeFormalVar and Cil.setFormals and Cil.makeFormalVar.
-
type fundec = { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   -mutable svar : varinfo;(*Holds the name and type as a variable, so we can refer to it - easily from the program. All references to this function either - in a function call or in a prototype must point to the same - varinfo.*)
-   -mutable sformals : varinfo list;(*Formals. These must be in the same order and with the same - information as the formal information in the type of the function. - Use Cil.setFormals or - Cil.setFunctionType or Cil.makeFormalVar - to set these formals and ensure that they - are reflected in the function type. Do not make copies of these - because the body refers to them.*)
-   -mutable slocals : varinfo list;(*Locals. Does NOT include the sformals. Do not make copies of - these because the body refers to them.*)
-   -mutable smaxid : int;(*Max local id. Starts at 0. Used for - creating the names of new temporary - variables. Updated by - Cil.makeLocalVar and - Cil.makeTempVar. You can also use - Cil.setMaxId to set it after you - have added the formals and locals.*)
-   -mutable sbody : block;(*The function body.*)
-   -mutable smaxstmtid : int option;(*max id of a (reachable) statement - in this function, if we have - computed it. range = 0 ... - (smaxstmtid-1). This is computed by - Cil.computeCFGInfo.*)
-   -mutable sallstmts : stmt list;(*After you call Cil.computeCFGInfo - this field is set to contain all - statements in the function*)
-} - -

-Function definitions.
-
- -
type block = { - - - - - - - - - -
-   -mutable battrs : attributes;(*Attributes for the block*)
-   -mutable bstmts : stmt list;(*The statements comprising the block*)
-} - -
-A block is a sequence of statements with the control falling through from - one element to the next
-
- -
-Statements. -CIL statements are the structural elements that make the CFG. They are -represented using the type Cil.stmt. Every -statement has a (possibly empty) list of labels. The -Cil.stmtkind field of a statement indicates what kind of statement it -is. -

- - Use Cil.mkStmt to make a statement and the fill-in the fields. -

- -CIL also comes with support for control-flow graphs. The sid field in -stmt can be used to give unique numbers to statements, and the succs -and preds fields can be used to maintain a list of successors and -predecessors for every statement. The CFG information is not computed by -default. Instead you must explicitly use the functions -Cil.prepareCFG and Cil.computeCFGInfo to do it.
-
type stmt = { - - - - - - - - - - - - - - - - - - - - - - - - -
-   -mutable labels : label list;(*Whether the statement starts with some labels, case statements or - default statements.*)
-   -mutable skind : stmtkind;(*The kind of statement*)
-   -mutable sid : int;(*A number (>= 0) that is unique in a function. Filled in only after - the CFG is computed.*)
-   -mutable succs : stmt list;(*The successor statements. They can always be computed from the skind - and the context in which this statement appears. Filled in only after - the CFG is computed.*)
-   -mutable preds : stmt list;(*The inverse of the succs function.*)
-} - -

-Statements.
-
- -
type label = - - - - - - - - - - - - - - -
-| -Label of string * location * bool(*A real label. If the bool is "true", the label is from the - input source program. If the bool is "false", the label was - created by CIL or some other transformation*)
-| -Case of exp * location(*A case statement. This expression - is lowered into a constant if - Cil.lowerConstants is set to - true.*)
-| -Default of location(*A default statement*)
- -
-Labels
-
- -
type stmtkind = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -Instr of instr list(*A group of instructions that do not contain control flow. Control - implicitly falls through.*)
-| -Return of exp option * location(*The return statement. This is a leaf in the CFG.*)
-| -Goto of stmt Pervasives.ref * location(*A goto statement. Appears from actual goto's in the code or from - goto's that have been inserted during elaboration. The reference - points to the statement that is the target of the Goto. This means that - you have to update the reference whenever you replace the target - statement. The target statement MUST have at least a label.*)
-| -Break of location(*A break to the end of the nearest enclosing Loop or Switch*)
-| -Continue of location(*A continue to the start of the nearest enclosing Loop*)
-| -If of exp * block * block * location(*A conditional. Two successors, the "then" and the "else" branches. - Both branches fall-through to the successor of the If statement.*)
-| -Switch of exp * block * stmt list * location(*A switch statement. The statements that implement the cases can be - reached through the provided list. For each such target you can find - among its labels what cases it implements. The statements that - implement the cases are somewhere within the provided block.*)
-| -Loop of block * location * stmt option * stmt option(*A while(1) loop. The termination test is implemented in the body of - a loop using a Break statement. If prepareCFG has been called, - the first stmt option will point to the stmt containing the continue - label for this loop and the second will point to the stmt containing - the break label for this loop.*)
-| -Block of block(*Just a block of statements. Use it as a way to keep some block - attributes local*)
-| -TryFinally of block * block * location
-| -TryExcept of block * (instr list * exp) * block * location
- -
-The various kinds of control-flow statements statements
-
- -
-Instructions. - An instruction Cil.instr is a statement that has no local -(intraprocedural) control flow. It can be either an assignment, -function call, or an inline assembly instruction.
-
type instr = - - - - - - - - - - - - - - -
-| -Set of lval * exp * location(*An assignment. The type of the expression is guaranteed to be the same - with that of the lvalue*)
-| -Call of lval option * exp * exp list * location(*A function call with the (optional) result placed in an lval. It is - possible that the returned type of the function is not identical to - that of the lvalue. In that case a cast is printed. The type of the - actual arguments are identical to those of the declared formals. The - number of arguments is the same as that of the declared formals, except - for vararg functions. This construct is also used to encode a call to - "__builtin_va_arg". In this case the second argument (which should be a - type T) is encoded SizeOf(T)*)
-| -Asm of attributes * string list * (string * lval) list
* (string * exp) list * string list * location		(*There are for storing inline assembly. They follow the GCC - specification: -
-  asm [volatile] ("...template..." "..template.."
-                  : "c1" (o1), "c2" (o2), ..., "cN" (oN)
-                  : "d1" (i1), "d2" (i2), ..., "dM" (iM)
-                  : "r1", "r2", ..., "nL" );
-
-

- -where the parts are -

-

    -
  • volatile (optional): when present, the assembler instruction - cannot be removed, moved, or otherwise optimized
    • -
  • template: a sequence of strings, with %0, %1, %2, etc. in the string to - refer to the input and output expressions. I think they're numbered - consecutively, but the docs don't specify. Each string is printed on - a separate line. This is the only part that is present for MSVC inline - assembly.
    • -
  • "ci" (oi): pairs of constraint-string and output-lval; the - constraint specifies that the register used must have some - property, like being a floating-point register; the constraint - string for outputs also has "=" to indicate it is written, or - "+" to indicate it is both read and written; 'oi' is the - name of a C lvalue (probably a variable name) to be used as - the output destination
    • -
  • "dj" (ij): pairs of constraint and input expression; the constraint - is similar to the "ci"s. the 'ij' is an arbitrary C expression - to be loaded into the corresponding register
    • -
  • "rk": registers to be regarded as "clobbered" by the instruction; - "memory" may be specified for arbitrary memory effects
    • -
- -an example (from gcc manual): -
-  asm volatile ("movc3 %0,%1,%2"
-                : /* no outputs */
-                : "g" (from), "g" (to), "g" (count)
-                : "r0", "r1", "r2", "r3", "r4", "r5");
-
*)
- -
-Instructions.
-
- -
type location = { - - - - - - - - - - - - - - -
-   -line : int;(*The line number. -1 means "do not know"*)
-   -file : string;(*The name of the source file*)
-   -byte : int;(*The byte position in the source file*)
-} - -
-Describes a location in a source file.
-
- -
type typsig = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -TSArray of typsig * int64 option * attribute list
-| -TSPtr of typsig * attribute list
-| -TSComp of bool * string * attribute list
-| -TSFun of typsig * typsig list * bool * attribute list
-| -TSEnum of string * attribute list
-| -TSBase of typ
- -
-Type signatures. Two types are identical iff they have identical - signatures. These contain the same information as types but canonicalized. - For example, two function types that are identical except for the name of - the formal arguments are given the same signature. Also, TNamed - constructors are unrolled.
-
- -
-Lowering Options
-
val lowerConstants : bool Pervasives.ref
-Do lower constants (default true)
-
-
val insertImplicitCasts : bool Pervasives.ref
-Do insert implicit casts (default true)
-
-
type featureDescr = { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   -fd_enabled : bool Pervasives.ref;(*The enable flag. Set to default value*)
-   -fd_name : string;(*This is used to construct an option "--doxxx" and "--dontxxx" that - enable and disable the feature*)
-   -fd_description : string;
-   -fd_extraopt : (string * Arg.spec * string) list;(*Additional command line options*)
-   -fd_doit : file -> unit;(*This performs the transformation*)
-   -fd_post_check : bool;
-} - -
-To be able to add/remove features easily, each feature should be package - as an interface with the following interface. These features should be
-
- -
val compareLoc : location -> location -> int
-Comparison function for locations. -* Compares first by filename, then line, then byte
-
-
-Values for manipulating globals
-
val emptyFunction : string -> fundec
-Make an empty function
-
-
val setFormals : fundec -> varinfo list -> unit
-Update the formals of a fundec and make sure that the function type - has the same information. Will copy the name as well into the type.
-
-
val setFunctionType : fundec -> typ -> unit
-Set the types of arguments and results as given by the function type - passed as the second argument. Will not copy the names from the function - type to the formals
-
-
val setFunctionTypeMakeFormals : fundec -> typ -> unit
-Set the type of the function and make formal arguments for them
-
-
val setMaxId : fundec -> unit
-Update the smaxid after you have populated with locals and formals - (unless you constructed those using Cil.makeLocalVar or - Cil.makeTempVar.
-
-
val dummyFunDec : fundec
-A dummy function declaration handy when you need one as a placeholder. It - contains inside a dummy varinfo.
-
-
val dummyFile : file
-A dummy file
-
-
val saveBinaryFile : file -> string -> unit
-Write a Cil.file in binary form to the filesystem. The file can be - read back in later using Cil.loadBinaryFile, possibly saving parsing - time. The second argument is the name of the file that should be - created.
-
-
val saveBinaryFileChannel : file -> Pervasives.out_channel -> unit
-Write a Cil.file in binary form to the filesystem. The file can be - read back in later using Cil.loadBinaryFile, possibly saving parsing - time. Does not close the channel.
-
-
val loadBinaryFile : string -> file
-Read a Cil.file in binary form from the filesystem. The first - argument is the name of a file previously created by - Cil.saveBinaryFile.
-
-
val getGlobInit : ?main_name:string -> file -> fundec
-Get the global initializer and create one if it does not already exist. - When it creates a global initializer it attempts to place a call to it in - the main function named by the optional argument (default "main")
-
-
val iterGlobals : file -> (global -> unit) -> unit
-Iterate over all globals, including the global initializer
-
-
val foldGlobals : file -> ('a -> global -> 'a) -> 'a -> 'a
-Fold over all globals, including the global initializer
-
-
val mapGlobals : file -> (global -> global) -> unit
-Map over all globals, including the global initializer and change things - in place
-
-
val new_sid : unit -> int
val prepareCFG : fundec -> unit
-Prepare a function for CFG information computation by - Cil.computeCFGInfo. This function converts all Break, Switch, - Default and Continue Cil.stmtkinds and Cil.labels into Ifs - and Gotos, giving the function body a very CFG-like character. This - function modifies its argument in place.
-
-
val computeCFGInfo : fundec -> bool -> unit
-Compute the CFG information for all statements in a fundec and return a - list of the statements. The input fundec cannot have Break, Switch, - Default, or Continue Cil.stmtkinds or Cil.labels. Use - Cil.prepareCFG to transform them away. The second argument should - be true if you wish a global statement number, false if you wish a - local (per-function) statement numbering. The list of statements is set - in the sallstmts field of a fundec. -

- - NOTE: unless you want the simpler control-flow graph provided by - prepareCFG, or you need the function's smaxstmtid and sallstmt fields - filled in, we recommend you use Cfg.computeFileCFG instead of this - function to compute control-flow information. - Cfg.computeFileCFG is newer and will handle switch, break, and - continue correctly.
-

-
val copyFunction : fundec -> string -> fundec
-Create a deep copy of a function. There should be no sharing between the - copy and the original function
-
-
val pushGlobal : global ->
       types:global list Pervasives.ref ->
       variables:global list Pervasives.ref -> unit
-CIL keeps the types at the beginning of the file and the variables at the - end of the file. This function will take a global and add it to the - corresponding stack. Its operation is actually more complicated because if - the global declares a type that contains references to variables (e.g. in - sizeof in an array length) then it will also add declarations for the - variables to the types stack
-
-
val invalidStmt : stmt
-An empty statement. Used in pretty printing
-
-
val gccBuiltins : (string, typ * typ list * bool) Hashtbl.t
-A list of the GCC built-in functions. Maps the name to the result and - argument types, and whether it is vararg
-
-
val msvcBuiltins : (string, typ * typ list * bool) Hashtbl.t
-A list of the MSVC built-in functions. Maps the name to the result and - argument types, and whether it is vararg
-
-
-Values for manipulating initializers
-
val makeZeroInit : typ -> init
-Make a initializer for zero-ing a data type
-
-
val foldLeftCompound : doinit:(offset -> init -> typ -> 'a -> 'a) ->
       ct:typ -> initl:(offset * init) list -> acc:'a -> 'a
-Fold over the list of initializers in a Compound. doinit is called on - every present initializer, even if it is of compound type. In the case of - arrays there might be missing zero-initializers at the end of the list. - These are not scanned. This is much like List.fold_left except we also - pass the type of the initializer
-
-
val foldLeftCompoundAll : doinit:(offset -> init -> typ -> 'a -> 'a) ->
       ct:typ -> initl:(offset * init) list -> acc:'a -> 'a
-Fold over the list of initializers in a Compound, like - Cil.foldLeftCompound but in the case of an array it scans even missing - zero initializers at the end of the array
-
-
-Values for manipulating types
-
val voidType : typ
-void
-
-
val isVoidType : typ -> bool
val isVoidPtrType : typ -> bool
val intType : typ
-int
-
-
val uintType : typ
-unsigned int
-
-
val longType : typ
-long
-
-
val ulongType : typ
-unsigned long
-
-
val charType : typ
-char
-
-
val charPtrType : typ
-char *
-
-
val wcharKind : ikind Pervasives.ref
-wchar_t (depends on architecture) and is set when you call - Cil.initCIL.
-
-
val wcharType : typ Pervasives.ref
val charConstPtrType : typ
-char const *
-
-
val voidPtrType : typ
-void *
-
-
val intPtrType : typ
-int *
-
-
val uintPtrType : typ
-unsigned int *
-
-
val doubleType : typ
-double
-
-
val upointType : typ Pervasives.ref
val typeOfSizeOf : typ Pervasives.ref
val isSigned : ikind -> bool
-Returns true if and only if the given integer type is signed.
-
-
val mkCompInfo : bool ->
       string ->
       (compinfo ->
        (string * typ * int option * attributes * location) list) ->
       attributes -> compinfo
-Creates a a (potentially recursive) composite type. The arguments are: - (1) a boolean indicating whether it is a struct or a union, (2) the name - (always non-empty), (3) a function that when given a representation of the - structure type constructs the type of the fields recursive type (the first - argument is only useful when some fields need to refer to the type of the - structure itself), and (4) a list of attributes to be associated with the - composite type. The resulting compinfo has the field "cdefined" only if - the list of fields is non-empty.
-
-
val copyCompInfo : compinfo -> string -> compinfo
-Makes a shallow copy of a Cil.compinfo changing the name and the key.
-
-
val missingFieldName : string
-This is a constant used as the name of an unnamed bitfield. These fields - do not participate in initialization and their name is not printed.
-
-
val compFullName : compinfo -> string
-Get the full name of a comp
-
-
val isCompleteType : typ -> bool
-Returns true if this is a complete type. - This means that sizeof(t) makes sense. - Incomplete types are not yet defined - structures and empty arrays.
-
-
val unrollType : typ -> typ
-Unroll a type until it exposes a non - TNamed. Will collect all attributes appearing in TNamed!!!
-
-
val unrollTypeDeep : typ -> typ
-Unroll all the TNamed in a type (even under type constructors such as - TPtr, TFun or TArray. Does not unroll the types of fields in TComp - types. Will collect all attributes
-
-
val separateStorageModifiers : attribute list -> attribute list * attribute list
-Separate out the storage-modifier name attributes
-
-
val isIntegralType : typ -> bool
-True if the argument is an integral type (i.e. integer or enum)
-
-
val isArithmeticType : typ -> bool
-True if the argument is an arithmetic type (i.e. integer, enum or - floating point
-
-
val isPointerType : typ -> bool
-True if the argument is a pointer type
-
-
val isFunctionType : typ -> bool
-True if the argument is a function type
-
-
val argsToList : (string * typ * attributes) list option ->
       (string * typ * attributes) list
-Obtain the argument list ([] if None)
-
-
val isArrayType : typ -> bool
-True if the argument is an array type
-
-
exception LenOfArray
-
-Raised when Cil.lenOfArray fails either because the length is None - or because it is a non-constant expression
-
-
val lenOfArray : exp option -> int
-Call to compute the array length as present in the array type, to an - integer. Raises Cil.LenOfArray if not able to compute the length, such - as when there is no length or the length is not a constant.
-
-
val getCompField : compinfo -> string -> fieldinfo
-Return a named fieldinfo in compinfo, or raise Not_found
-
-
type existsAction = - - - - - - - - - - - - - - -
-| -ExistsTrue
-| -ExistsFalse
-| -ExistsMaybe
- -
-A datatype to be used in conjunction with existsType
-
- -
val existsType : (typ -> existsAction) -> typ -> bool
-Scans a type by applying the function on all elements. - When the function returns ExistsTrue, the scan stops with - true. When the function returns ExistsFalse then the current branch is not - scanned anymore. Care is taken to - apply the function only once on each composite type, thus avoiding - circularity. When the function returns ExistsMaybe then the types that - construct the current type are scanned (e.g. the base type for TPtr and - TArray, the type of fields for a TComp, etc).
-
-
val splitFunctionType : typ ->
       typ * (string * typ * attributes) list option * bool *
       attributes
-Given a function type split it into return type, - arguments, is_vararg and attributes. An error is raised if the type is not - a function type -

-Same as Cil.splitFunctionType but takes a varinfo. Prints a nicer - error message if the varinfo is not for a function
-

-
val splitFunctionTypeVI : varinfo ->
       typ * (string * typ * attributes) list option * bool *
       attributes

-Type signatures
-
-Type signatures. Two types are identical iff they have identical - signatures. These contain the same information as types but canonicalized. - For example, two function types that are identical except for the name of - the formal arguments are given the same signature. Also, TNamed - constructors are unrolled. You shoud use Util.equals to compare type - signatures because they might still contain circular structures (through - attributes, and sizeof)
-
val d_typsig : unit -> typsig -> Pretty.doc
-Print a type signature
-
-
val typeSig : typ -> typsig
-Compute a type signature
-
-
val typeSigWithAttrs : ?ignoreSign:bool ->
       (attributes -> attributes) -> typ -> typsig
-Like Cil.typeSig but customize the incorporation of attributes. - Use ~ignoreSign:true to convert all signed integer types to unsigned, - so that signed and unsigned will compare the same.
-
-
val setTypeSigAttrs : attributes -> typsig -> typsig
-Replace the attributes of a signature (only at top level)
-
-
val typeSigAttrs : typsig -> attributes
-Get the top-level attributes of a signature
-
-
-LVALUES
-
val makeVarinfo : bool -> string -> typ -> varinfo
-Make a varinfo. Use this (rarely) to make a raw varinfo. Use other - functions to make locals (Cil.makeLocalVar or Cil.makeFormalVar or - Cil.makeTempVar) and globals (Cil.makeGlobalVar). Note that this - function will assign a new identifier. The first argument specifies - whether the varinfo is for a global.
-
-
val makeFormalVar : fundec -> ?where:string -> string -> typ -> varinfo
-Make a formal variable for a function. Insert it in both the sformals - and the type of the function. You can optionally specify where to insert - this one. If where = "^" then it is inserted first. If where = "$" then - it is inserted last. Otherwise where must be the name of a formal after - which to insert this. By default it is inserted at the end.
-
-
val makeLocalVar : fundec -> ?insert:bool -> string -> typ -> varinfo
-Make a local variable and add it to a function's slocals (only if insert = - true, which is the default). Make sure you know what you are doing if you - set insert=false.
-
-
val makeTempVar : fundec -> ?name:string -> typ -> varinfo
-Make a temporary variable and add it to a function's slocals. The name of - the temporary variable will be generated based on the given name hint so - that to avoid conflicts with other locals.
-
-
val makeGlobalVar : string -> typ -> varinfo
-Make a global variable. Your responsibility to make sure that the name - is unique
-
-
val copyVarinfo : varinfo -> string -> varinfo
-Make a shallow copy of a varinfo and assign a new identifier
-
-
val newVID : unit -> int
-Generate a new variable ID. This will be different than any variable ID - that is generated by Cil.makeLocalVar and friends
-
-
val addOffsetLval : offset -> lval -> lval
-Add an offset at the end of an lvalue. Make sure the type of the lvalue - and the offset are compatible.
-
-
val addOffset : offset -> offset -> offset
-addOffset o1 o2 adds o1 to the end of o2.
-
-
val removeOffsetLval : lval -> lval * offset
-Remove ONE offset from the end of an lvalue. Returns the lvalue with the - trimmed offset and the final offset. If the final offset is NoOffset - then the original lval did not have an offset.
-
-
val removeOffset : offset -> offset * offset
-Remove ONE offset from the end of an offset sequence. Returns the - trimmed offset and the final offset. If the final offset is NoOffset - then the original lval did not have an offset.
-
-
val typeOfLval : lval -> typ
-Compute the type of an lvalue
-
-
val typeOffset : typ -> offset -> typ
-Compute the type of an offset from a base type
-
-
-Values for manipulating expressions
-
val zero : exp
-0
-
-
val one : exp
-1
-
-
val mone : exp
--1
-
-
val kinteger64 : ikind -> int64 -> exp
-Construct an integer of a given kind, using OCaml's int64 type. If needed - it will truncate the integer to be within the representable range for the - given kind.
-
-
val kinteger : ikind -> int -> exp
-Construct an integer of a given kind. Converts the integer to int64 and - then uses kinteger64. This might truncate the value if you use a kind - that cannot represent the given integer. This can only happen for one of - the Char or Short kinds
-
-
val integer : int -> exp
-Construct an integer of kind IInt. You can use this always since the - OCaml integers are 31 bits and are guaranteed to fit in an IInt
-
-
val isInteger : exp -> int64 option
-True if the given expression is a (possibly cast'ed) - character or an integer constant
-
-
val isConstant : exp -> bool
-True if the expression is a compile-time constant
-
-
val isZero : exp -> bool
-True if the given expression is a (possibly cast'ed) integer or character - constant with value zero
-
-
val charConstToInt : char -> constant
-Given the character c in a (CChr c), sign-extend it to 32 bits. - (This is the official way of interpreting character constants, according to - ISO C 6.4.4.4.10, which says that character constants are chars cast to ints) - Returns CInt64(sign-extened c, IInt, None)
-
-
val constFold : bool -> exp -> exp
-Do constant folding on an expression. If the first argument is true then - will also compute compiler-dependent expressions such as sizeof
-
-
val constFoldBinOp : bool -> binop -> exp -> exp -> typ -> exp
-Do constant folding on a binary operation. The bulk of the work done by - constFold is done here. If the first argument is true then - will also compute compiler-dependent expressions such as sizeof
-
-
val increm : exp -> int -> exp
-Increment an expression. Can be arithmetic or pointer type
-
-
val var : varinfo -> lval
-Makes an lvalue out of a given variable
-
-
val mkAddrOf : lval -> exp
-Make an AddrOf. Given an lvalue of type T will give back an expression of - type ptr(T). It optimizes somewhat expressions like "& v" and "& v0"
-
-
val mkAddrOrStartOf : lval -> exp
-Like mkAddrOf except if the type of lval is an array then it uses - StartOf. This is the right operation for getting a pointer to the start - of the storage denoted by lval.
-
-
val mkMem : addr:exp -> off:offset -> lval
-Make a Mem, while optimizing AddrOf. The type of the addr must be - TPtr(t) and the type of the resulting lval is t. Note that in CIL the - implicit conversion between an array and the pointer to the first - element does not apply. You must do the conversion yourself using - StartOf
-
-
val mkString : string -> exp
-Make an expression that is a string constant (of pointer type)
-
-
val mkCastT : e:exp -> oldt:typ -> newt:typ -> exp
-Construct a cast when having the old type of the expression. If the new - type is the same as the old type, then no cast is added.
-
-
val mkCast : e:exp -> newt:typ -> exp
-Like Cil.mkCastT but uses typeOf to get oldt
-
-
val stripCasts : exp -> exp
-Removes casts from this expression, but ignores casts within - other expression constructs. So we delete the (A) and (B) casts from - "(A)(B)(x + (C)y)", but leave the (C) cast.
-
-
val typeOf : exp -> typ
-Compute the type of an expression
-
-
val parseInt : string -> exp
-Convert a string representing a C integer literal to an expression. - Handles the prefixes 0x and 0 and the suffixes L, U, UL, LL, ULL
-
-
-Values for manipulating statements
-
val mkStmt : stmtkind -> stmt
-Construct a statement, given its kind. Initialize the sid field to -1, - and labels, succs and preds to the empty list
-
-
val mkBlock : stmt list -> block
-Construct a block with no attributes, given a list of statements
-
-
val mkStmtOneInstr : instr -> stmt
-Construct a statement consisting of just one instruction
-
-
val compactStmts : stmt list -> stmt list
-Try to compress statements so as to get maximal basic blocks
-
-
val mkEmptyStmt : unit -> stmt
-Returns an empty statement (of kind Instr)
-
-
val dummyInstr : instr
-A instr to serve as a placeholder
-
-
val dummyStmt : stmt
-A statement consisting of just dummyInstr
-
-
val mkWhile : guard:exp -> body:stmt list -> stmt list
-Make a while loop. Can contain Break or Continue
-
-
val mkForIncr : iter:varinfo ->
       first:exp ->
       stopat:exp -> incr:exp -> body:stmt list -> stmt list
-Make a for loop for(i=start; i<past; i += incr) { ... }. The body - can contain Break but not Continue. Can be used with i a pointer - or an integer. Start and done must have the same type but incr - must be an integer
-
-
val mkFor : start:stmt list ->
       guard:exp -> next:stmt list -> body:stmt list -> stmt list
-Make a for loop for(start; guard; next) { ... }. The body can - contain Break but not Continue !!!
-
-
-Values for manipulating attributes
-
type attributeClass = - - - - - - - - - - - - - - -
-| -AttrName of bool(*Attribute of a name. If argument is true and we are on MSVC then - the attribute is printed using __declspec as part of the storage - specifier*)
-| -AttrFunType of bool(*Attribute of a function type. If argument is true and we are on - MSVC then the attribute is printed just before the function name*)
-| -AttrType(*Attribute of a type*)
- -
-Various classes of attributes
-
- -
val attributeHash : (string, attributeClass) Hashtbl.t
-This table contains the mapping of predefined attributes to classes. - Extend this table with more attributes as you need. This table is used to - determine how to associate attributes with names or types
-
-
val partitionAttributes : default:attributeClass ->
       attributes ->
       attribute list * attribute list * attribute list
-Partition the attributes into classes:name attributes, function type, - and type attributes
-
-
val addAttribute : attribute -> attributes -> attributes
-Add an attribute. Maintains the attributes in sorted order of the second - argument
-
-
val addAttributes : attribute list -> attributes -> attributes
-Add a list of attributes. Maintains the attributes in sorted order. The - second argument must be sorted, but not necessarily the first
-
-
val dropAttribute : string -> attributes -> attributes
-Remove all attributes with the given name. Maintains the attributes in - sorted order.
-
-
val dropAttributes : string list -> attributes -> attributes
-Remove all attributes with names appearing in the string list. - Maintains the attributes in sorted order
-
-
val filterAttributes : string -> attributes -> attributes
-Retains attributes with the given name
-
-
val hasAttribute : string -> attributes -> bool
-True if the named attribute appears in the attribute list. The list of - attributes must be sorted.
-
-
val typeAttrs : typ -> attribute list
-Returns all the attributes contained in a type. This requires a traversal - of the type structure, in case of composite, enumeration and named types
-
-
val setTypeAttrs : typ -> attributes -> typ
val typeAddAttributes : attribute list -> typ -> typ
-Add some attributes to a type
-
-
val typeRemoveAttributes : string list -> typ -> typ
-Remove all attributes with the given names from a type. Note that this - does not remove attributes from typedef and tag definitions, just from - their uses
-
-
-The visitor
-
type 'a visitAction = - - - - - - - - - - - - - - - - - - - -
-| -SkipChildren(*Do not visit the children. Return - the node as it is.*)
-| -DoChildren(*Continue with the children of this - node. Rebuild the node on return - if any of the children changes - (use == test)*)
-| -ChangeTo of 'a(*Replace the expression with the - given one*)
-| -ChangeDoChildrenPost of 'a * ('a -> 'a)(*First consider that the entire - exp is replaced by the first - parameter. Then continue with - the children. On return rebuild - the node if any of the children - has changed and then apply the - function on the node*)
- -
-Different visiting actions. 'a will be instantiated with exp, instr, - etc.
-
- -
class type cilVisitor = object .. end
-A visitor interface for traversing CIL trees. -
-
class nopCilVisitor : cilVisitor
-Default Visitor. -
-
val visitCilFile : cilVisitor -> file -> unit
-Visit a file. This will will re-cons all globals TWICE (so that it is - tail-recursive). Use Cil.visitCilFileSameGlobals if your visitor will - not change the list of globals.
-
-
val visitCilFileSameGlobals : cilVisitor -> file -> unit
-A visitor for the whole file that does not change the globals (but maybe - changes things inside the globals). Use this function instead of - Cil.visitCilFile whenever appropriate because it is more efficient for - long files.
-
-
val visitCilGlobal : cilVisitor -> global -> global list
-Visit a global
-
-
val visitCilFunction : cilVisitor -> fundec -> fundec
-Visit a function definition
-
-
val visitCilExpr : cilVisitor -> exp -> exp
val visitCilLval : cilVisitor -> lval -> lval
-Visit an lvalue
-
-
val visitCilOffset : cilVisitor -> offset -> offset
-Visit an lvalue or recursive offset
-
-
val visitCilInitOffset : cilVisitor -> offset -> offset
-Visit an initializer offset
-
-
val visitCilInstr : cilVisitor -> instr -> instr list
-Visit an instruction
-
-
val visitCilStmt : cilVisitor -> stmt -> stmt
-Visit a statement
-
-
val visitCilBlock : cilVisitor -> block -> block
-Visit a block
-
-
val visitCilType : cilVisitor -> typ -> typ
-Visit a type
-
-
val visitCilVarDecl : cilVisitor -> varinfo -> varinfo
-Visit a variable declaration
-
-
val visitCilInit : cilVisitor -> init -> init
-Visit an initializer
-
-
val visitCilAttributes : cilVisitor -> attribute list -> attribute list
-Visit a list of attributes
-
-
-Utility functions
-
val msvcMode : bool Pervasives.ref
-Whether the pretty printer should print output for the MS VC compiler. - Default is GCC. After you set this function you should call Cil.initCIL.
-
-
val useLogicalOperators : bool Pervasives.ref
-Whether to use the logical operands LAnd and LOr. By default, do not use - them because they are unlike other expressions and do not evaluate both of - their operands
-
-
val constFoldVisitor : bool -> cilVisitor
-A visitor that does constant folding. Pass as argument whether you want - machine specific simplifications to be done, or not.
-
-
type lineDirectiveStyle = - - - - - - - - - - - - - - -
-| -LineComment
-| -LinePreprocessorInput
-| -LinePreprocessorOutput
- -
-Styles of printing line directives
-
- -
val lineDirectiveStyle : lineDirectiveStyle option Pervasives.ref
-How to print line directives
-
-
val print_CIL_Input : bool Pervasives.ref
-Whether we print something that will only be used as input to our own - parser. In that case we are a bit more liberal in what we print
-
-
val printCilAsIs : bool Pervasives.ref
-Whether to print the CIL as they are, without trying to be smart and - print nicer code. Normally this is false, in which case the pretty - printer will turn the while(1) loops of CIL into nicer loops, will not - print empty "else" blocks, etc. These is one case howewer in which if you - turn this on you will get code that does not compile: if you use varargs - the __builtin_va_arg function will be printed in its internal form.
-
-
val lineLength : int Pervasives.ref
-The length used when wrapping output lines. Setting this variable to - a large integer will prevent wrapping and make #line directives more - accurate.
-
-
val forgcc : string -> string
-Return the string 's' if we're printing output for gcc, suppres - it if we're printing for CIL to parse back in. the purpose is to - hide things from gcc that it complains about, but still be able - to do lossless transformations when CIL is the consumer
-
-
-Debugging support
-
val currentLoc : location Pervasives.ref
-A reference to the current location. If you are careful to set this to - the current location then you can use some built-in logging functions that - will print the location.
-
-
val currentGlobal : global Pervasives.ref
-A reference to the current global being visited
-
-
-CIL has a fairly easy to use mechanism for printing error messages. This - mechanism is built on top of the pretty-printer mechanism (see - Pretty.doc) and the error-message modules (see Errormsg.error). -

- - Here is a typical example for printing a log message: 

-ignore (Errormsg.log "Expression %a is not positive (at %s:%i)\n"
-                        d_exp e loc.file loc.line)
-
-

- - and here is an example of how you print a fatal error message that stop the - execution: 

-Errormsg.s (Errormsg.bug "Why am I here?")
-
-

- - Notice that you can use C format strings with some extension. The most -useful extension is "%a" that means to consumer the next two argument from -the argument list and to apply the first to unit and then to the second -and to print the resulting Pretty.doc. For each major type in CIL there is -a corresponding function that pretty-prints an element of that type:
-

val d_loc : unit -> location -> Pretty.doc
-Pretty-print a location
-
-
val d_thisloc : unit -> Pretty.doc
-Pretty-print the Cil.currentLoc
-
-
val d_ikind : unit -> ikind -> Pretty.doc
-Pretty-print an integer of a given kind
-
-
val d_fkind : unit -> fkind -> Pretty.doc
-Pretty-print a floating-point kind
-
-
val d_storage : unit -> storage -> Pretty.doc
-Pretty-print storage-class information
-
-
val d_const : unit -> constant -> Pretty.doc
-Pretty-print a constant
-
-
val derefStarLevel : int
val indexLevel : int
val arrowLevel : int
val addrOfLevel : int
val additiveLevel : int
val comparativeLevel : int
val bitwiseLevel : int
val getParenthLevel : exp -> int
-Parentheses level. An expression "a op b" is printed parenthesized if its - parentheses level is >= that that of its context. Identifiers have the - lowest level and weakly binding operators (e.g. |) have the largest level. - The correctness criterion is that a smaller level MUST correspond to a - stronger precedence!
-
-
class type cilPrinter = object .. end
-A printer interface for CIL trees. -
-
class defaultCilPrinterClass : cilPrinter
val defaultCilPrinter : cilPrinter
class plainCilPrinterClass : cilPrinter
-These are pretty-printers that will show you more details on the internal - CIL representation, without trying hard to make it look like C -
-
val plainCilPrinter : cilPrinter
val printerForMaincil : cilPrinter Pervasives.ref
val printType : cilPrinter -> unit -> typ -> Pretty.doc
-Print a type given a pretty printer
-
-
val printExp : cilPrinter -> unit -> exp -> Pretty.doc
-Print an expression given a pretty printer
-
-
val printLval : cilPrinter -> unit -> lval -> Pretty.doc
-Print an lvalue given a pretty printer
-
-
val printGlobal : cilPrinter -> unit -> global -> Pretty.doc
-Print a global given a pretty printer
-
-
val printAttr : cilPrinter -> unit -> attribute -> Pretty.doc
-Print an attribute given a pretty printer
-
-
val printAttrs : cilPrinter -> unit -> attributes -> Pretty.doc
-Print a set of attributes given a pretty printer
-
-
val printInstr : cilPrinter -> unit -> instr -> Pretty.doc
-Print an instruction given a pretty printer
-
-
val printStmt : cilPrinter -> unit -> stmt -> Pretty.doc
-Print a statement given a pretty printer. This can take very long - (or even overflow the stack) for huge statements. Use Cil.dumpStmt - instead.
-
-
val printBlock : cilPrinter -> unit -> block -> Pretty.doc
-Print a block given a pretty printer. This can take very long - (or even overflow the stack) for huge block. Use Cil.dumpBlock - instead.
-
-
val dumpStmt : cilPrinter -> Pervasives.out_channel -> int -> stmt -> unit
-Dump a statement to a file using a given indentation. Use this instead of - Cil.printStmt whenever possible.
-
-
val dumpBlock : cilPrinter -> Pervasives.out_channel -> int -> block -> unit
-Dump a block to a file using a given indentation. Use this instead of - Cil.printBlock whenever possible.
-
-
val printInit : cilPrinter -> unit -> init -> Pretty.doc
-Print an initializer given a pretty printer. This can take very long - (or even overflow the stack) for huge initializers. Use Cil.dumpInit - instead.
-
-
val dumpInit : cilPrinter -> Pervasives.out_channel -> int -> init -> unit
-Dump an initializer to a file using a given indentation. Use this instead of - Cil.printInit whenever possible.
-
-
val d_type : unit -> typ -> Pretty.doc
-Pretty-print a type using Cil.defaultCilPrinter
-
-
val d_exp : unit -> exp -> Pretty.doc
-Pretty-print an expression using Cil.defaultCilPrinter
-
-
val d_lval : unit -> lval -> Pretty.doc
-Pretty-print an lvalue using Cil.defaultCilPrinter
-
-
val d_offset : Pretty.doc -> unit -> offset -> Pretty.doc
-Pretty-print an offset using Cil.defaultCilPrinter, given the pretty - printing for the base.
-
-
val d_init : unit -> init -> Pretty.doc
-Pretty-print an initializer using Cil.defaultCilPrinter. This can be - extremely slow (or even overflow the stack) for huge initializers. Use - Cil.dumpInit instead.
-
-
val d_binop : unit -> binop -> Pretty.doc
-Pretty-print a binary operator
-
-
val d_unop : unit -> unop -> Pretty.doc
-Pretty-print a unary operator
-
-
val d_attr : unit -> attribute -> Pretty.doc
-Pretty-print an attribute using Cil.defaultCilPrinter
-
-
val d_attrparam : unit -> attrparam -> Pretty.doc
-Pretty-print an argument of an attribute using Cil.defaultCilPrinter
-
-
val d_attrlist : unit -> attributes -> Pretty.doc
-Pretty-print a list of attributes using Cil.defaultCilPrinter
-
-
val d_instr : unit -> instr -> Pretty.doc
-Pretty-print an instruction using Cil.defaultCilPrinter
-
-
val d_label : unit -> label -> Pretty.doc
-Pretty-print a label using Cil.defaultCilPrinter
-
-
val d_stmt : unit -> stmt -> Pretty.doc
-Pretty-print a statement using Cil.defaultCilPrinter. This can be - extremely slow (or even overflow the stack) for huge statements. Use - Cil.dumpStmt instead.
-
-
val d_block : unit -> block -> Pretty.doc
-Pretty-print a block using Cil.defaultCilPrinter. This can be - extremely slow (or even overflow the stack) for huge blocks. Use - Cil.dumpBlock instead.
-
-
val d_global : unit -> global -> Pretty.doc
-Pretty-print the internal representation of a global using - Cil.defaultCilPrinter. This can be extremely slow (or even overflow the - stack) for huge globals (such as arrays with lots of initializers). Use - Cil.dumpGlobal instead.
-
-
val dn_exp : unit -> exp -> Pretty.doc
-Versions of the above pretty printers, that don't print #line directives
-
-
val dn_lval : unit -> lval -> Pretty.doc
val dn_init : unit -> init -> Pretty.doc
val dn_type : unit -> typ -> Pretty.doc
val dn_global : unit -> global -> Pretty.doc
val dn_attrlist : unit -> attributes -> Pretty.doc
val dn_attr : unit -> attribute -> Pretty.doc
val dn_attrparam : unit -> attrparam -> Pretty.doc
val dn_stmt : unit -> stmt -> Pretty.doc
val dn_instr : unit -> instr -> Pretty.doc
val d_shortglobal : unit -> global -> Pretty.doc
-Pretty-print a short description of the global. This is useful for error - messages
-
-
val dumpGlobal : cilPrinter -> Pervasives.out_channel -> global -> unit
-Pretty-print a global. Here you give the channel where the printout - should be sent.
-
-
val dumpFile : cilPrinter -> Pervasives.out_channel -> string -> file -> unit
-Pretty-print an entire file. Here you give the channel where the printout - should be sent.
-
-
val bug : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.bug except that Cil.currentLoc is also printed
-
-
val unimp : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.unimp except that Cil.currentLocis also printed
-
-
val error : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.error except that Cil.currentLoc is also printed
-
-
val errorLoc : location -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Cil.error except that it explicitly takes a location argument, - instead of using the Cil.currentLoc
-
-
val warn : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.warn except that Cil.currentLoc is also printed
-
-
val warnOpt : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.warnOpt except that Cil.currentLoc is also printed. - This warning is printed only of Errormsg.warnFlag is set.
-
-
val warnContext : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.warn except that Cil.currentLoc and context - is also printed
-
-
val warnContextOpt : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Errormsg.warn except that Cil.currentLoc and context is also - printed. This warning is printed only of Errormsg.warnFlag is set.
-
-
val warnLoc : location -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
-Like Cil.warn except that it explicitly takes a location argument, - instead of using the Cil.currentLoc
-
-
-Sometimes you do not want to see the syntactic sugar that the above - pretty-printing functions add. In that case you can use the following - pretty-printing functions. But note that the output of these functions is - not valid C
-
val d_plainexp : unit -> exp -> Pretty.doc
-Pretty-print the internal representation of an expression
-
-
val d_plaininit : unit -> init -> Pretty.doc
-Pretty-print the internal representation of an integer
-
-
val d_plainlval : unit -> lval -> Pretty.doc
-Pretty-print the internal representation of an lvalue
-
-
-Pretty-print the internal representation of an lvalue offset -val d_plainoffset: unit -> offset -> Pretty.doc
-
val d_plaintype : unit -> typ -> Pretty.doc
-Pretty-print the internal representation of a type
-
-
-ALPHA conversion has been moved to the Alpha module.
-
val uniqueVarNames : file -> unit
-Assign unique names to local variables. This might be necessary after you - transformed the code and added or renamed some new variables. Names are - not used by CIL internally, but once you print the file out the compiler - downstream might be confused. You might - have added a new global that happens to have the same name as a local in - some function. Rename the local to ensure that there would never be - confusioin. Or, viceversa, you might have added a local with a name that - conflicts with a global
-
-
-Optimization Passes
-
val peepHole2 : (instr * instr -> instr list option) -> stmt list -> unit
-A peephole optimizer that processes two adjacent statements and possibly - replaces them both. If some replacement happens, then the new statements - are themselves subject to optimization
-
-
val peepHole1 : (instr -> instr list option) -> stmt list -> unit
-Similar to peepHole2 except that the optimization window consists of - one statement, not two
-
-
-Machine dependency
-
exception SizeOfError of string * typ
-
-Raised when one of the bitsSizeOf functions cannot compute the size of a - type. This can happen because the type contains array-length expressions - that we don't know how to compute or because it is a type whose size is - not defined (e.g. TFun or an undefined compinfo). The string is an - explanation of the error
-
-
val bitsSizeOf : typ -> int
-The size of a type, in bits. Trailing padding is added for structs and - arrays. Raises Cil.SizeOfError when it cannot compute the size. This - function is architecture dependent, so you should only call this after you - call Cil.initCIL. Remember that on GCC sizeof(void) is 1!
-
-
val sizeOf : typ -> exp
val alignOf_int : typ -> int
-The minimum alignment (in bytes) for a type. This function is - architecture dependent, so you should only call this after you call - Cil.initCIL.
-
-
val bitsOffset : typ -> offset -> int * int
-Give a type of a base and an offset, returns the number of bits from the - base address and the width (also expressed in bits) for the subobject - denoted by the offset. Raises Cil.SizeOfError when it cannot compute - the size. This function is architecture dependent, so you should only call - this after you call Cil.initCIL.
-
-
val char_is_unsigned : bool Pervasives.ref
-Whether "char" is unsigned. Set after you call Cil.initCIL
-
-
val little_endian : bool Pervasives.ref
-Whether the machine is little endian. Set after you call Cil.initCIL
-
-
val underscore_name : bool Pervasives.ref
-Whether the compiler generates assembly labels by prepending "_" to the - identifier. That is, will function foo() have the label "foo", or "_foo"? - Set after you call Cil.initCIL
-
-
val locUnknown : location
-Represents a location that cannot be determined
-
-
val get_instrLoc : instr -> location
-Return the location of an instruction
-
-
val get_globalLoc : global -> location
-Return the location of a global, or locUnknown
-
-
val get_stmtLoc : stmtkind -> location
-Return the location of a statement, or locUnknown
-
-
val dExp : Pretty.doc -> exp
-Generate an Cil.exp to be used in case of errors.
-
-
val dInstr : Pretty.doc -> location -> instr
-Generate an Cil.instr to be used in case of errors.
-
-
val dGlobal : Pretty.doc -> location -> global
-Generate a Cil.global to be used in case of errors.
-
-
val mapNoCopy : ('a -> 'a) -> 'a list -> 'a list
-Like map but try not to make a copy of the list
-
-
val mapNoCopyList : ('a -> 'a list) -> 'a list -> 'a list
-Like map but each call can return a list. Try not to make a copy of the - list
-
-
val startsWith : string -> string -> bool
-sm: return true if the first is a prefix of the second string
-
-
-An Interpreter for constructing CIL constructs
-
type formatArg = - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-| -Fe of exp
-| -Feo of exp option(*For array lengths*)
-| -Fu of unop
-| -Fb of binop
-| -Fk of ikind
-| -FE of exp list(*For arguments in a function call*)
-| -Ff of (string * typ * attributes)(*For a formal argument*)
-| -FF of (string * typ * attributes) list(*For formal argument lists*)
-| -Fva of bool(*For the ellipsis in a function type*)
-| -Fv of varinfo
-| -Fl of lval
-| -Flo of lval option
-| -Fo of offset
-| -Fc of compinfo
-| -Fi of instr
-| -FI of instr list
-| -Ft of typ
-| -Fd of int
-| -Fg of string
-| -Fs of stmt
-| -FS of stmt list
-| -FA of attributes
-| -Fp of attrparam
-| -FP of attrparam list
-| -FX of string
- -
-The type of argument for the interpreter
-
- -
val d_formatarg : unit -> formatArg -> Pretty.doc
-Pretty-prints a format arg
-
-
val lowerConstants : bool Pervasives.ref
-Do lower constant expressions into constants (default true)
-
- \ No newline at end of file diff --git a/cil/doc/api/Cil.nopCilVisitor.html b/cil/doc/api/Cil.nopCilVisitor.html deleted file mode 100644 index 868e79d4..00000000 --- a/cil/doc/api/Cil.nopCilVisitor.html +++ /dev/null @@ -1,35 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.nopCilVisitor - - -
 Up - Next -
-

Class Cil.nopCilVisitor

-
-
class nopCilVisitor : cilVisitor
Default Visitor. Traverses the CIL tree without modifying anything
-
- \ No newline at end of file diff --git a/cil/doc/api/Cil.plainCilPrinterClass.html b/cil/doc/api/Cil.plainCilPrinterClass.html deleted file mode 100644 index 0d5fca58..00000000 --- a/cil/doc/api/Cil.plainCilPrinterClass.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.plainCilPrinterClass - - -
Previous - Up - 
-

Class Cil.plainCilPrinterClass

-
-
class plainCilPrinterClass : cilPrinter
These are pretty-printers that will show you more details on the internal - CIL representation, without trying hard to make it look like C
-
- \ No newline at end of file diff --git a/cil/doc/api/Cillower.html b/cil/doc/api/Cillower.html deleted file mode 100644 index d8fa8ddd..00000000 --- a/cil/doc/api/Cillower.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cillower - - -
Previous - Up - Next -
-

Module Cillower

-
-
module Cillower: sig .. end
A number of lowering passes over CIL
-
-
val lowerEnumVisitor : Cil.cilVisitor
-Replace enumeration constants with integer constants
-
- \ No newline at end of file diff --git a/cil/doc/api/Clist.html b/cil/doc/api/Clist.html deleted file mode 100644 index 27f373e5..00000000 --- a/cil/doc/api/Clist.html +++ /dev/null @@ -1,118 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Clist - - -
Previous - Up - Next -
-

Module Clist

-
-
module Clist: sig .. end
Utilities for managing "concatenable lists" (clists). We often need to - concatenate sequences, and using lists for this purpose is expensive. This - module provides routines to manage such lists more efficiently. In this - model, we never do cons or append explicitly. Instead we maintain - the elements of the list in a special data structure. Routines are provided - to convert to/from ordinary lists, and carry out common list operations.
-
-
type 'a clist = - - - - - - - - - - - - - - - - - - - -
-| -CList of 'a list(*The only representation for the empty - list. Try to use sparingly.*)
-| -CConsL of 'a * 'a clist(*Do not use this a lot because scanning - it is not tail recursive*)
-| -CConsR of 'a clist * 'a
-| -CSeq of 'a clist * 'a clist(*We concatenate only two of them at this - time. Neither is the empty clist. To be - sure always use append to make these*)
- -
-The clist datatype. A clist can be an ordinary list, or a clist preceded - or followed by an element, or two clists implicitly appended together
-
- -
val toList : 'a clist -> 'a list
-Convert a clist to an ordinary list
-
-
val fromList : 'a list -> 'a clist
-Convert an ordinary list to a clist
-
-
val single : 'a -> 'a clist
-Create a clist containing one element
-
-
val empty : 'a clist
-The empty clist
-
-
val append : 'a clist -> 'a clist -> 'a clist
-Append two clists
-
-
val checkBeforeAppend : 'a clist -> 'a clist -> bool
-A useful check to assert before an append. It checks that the two lists - are not identically the same (Except if they are both empty)
-
-
val length : 'a clist -> int
-Find the length of a clist
-
-
val map : ('a -> 'b) -> 'a clist -> 'b clist
-Map a function over a clist. Returns another clist
-
-
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b clist -> 'a
-A version of fold_left that works on clists
-
-
val iter : ('a -> unit) -> 'a clist -> unit
-A version of iter that works on clists
-
-
val rev : ('a -> 'a) -> 'a clist -> 'a clist
-Reverse a clist. The first function reverses an element.
-
-
val docCList : Pretty.doc -> ('a -> Pretty.doc) -> unit -> 'a clist -> Pretty.doc
-A document for printing a clist (similar to docList)
-
- \ No newline at end of file diff --git a/cil/doc/api/Dataflow.BackwardsDataFlow.html b/cil/doc/api/Dataflow.BackwardsDataFlow.html deleted file mode 100644 index 782d318c..00000000 --- a/cil/doc/api/Dataflow.BackwardsDataFlow.html +++ /dev/null @@ -1,54 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.BackwardsDataFlow - - -
Previous - Up - 
-

Functor Dataflow.BackwardsDataFlow

-
-
module BackwardsDataFlow: 
functor (T : BackwardsTransfer) -> sig .. end
- - - - -
Parameters: - - - - -
-T:BackwardsTransfer -
-
-
-
val compute : Cil.stmt list -> unit
-Fill in the T.stmtStartData, given a number of initial statements to - start from (the sinks for the backwards data flow). All of the statements - (not just the initial ones!) must have some entry in T.stmtStartData - (i.e., the initial data should not be bottom)
-
- \ No newline at end of file diff --git a/cil/doc/api/Dataflow.BackwardsTransfer.html b/cil/doc/api/Dataflow.BackwardsTransfer.html deleted file mode 100644 index 0ff812df..00000000 --- a/cil/doc/api/Dataflow.BackwardsTransfer.html +++ /dev/null @@ -1,83 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.BackwardsTransfer - - -
Previous - Up - 
-

Module type Dataflow.BackwardsTransfer

-
-
module type BackwardsTransfer = sig .. end
-
val name : string
-For debugging purposes, the name of the analysis
-
-
val debug : bool Pervasives.ref
-Whether to turn on debugging
-
-
type t
-
-The type of the data we compute for each block start. In many - presentations of backwards data flow analysis we maintain the - data at the block end. This is not easy to do with JVML because - a block has many exceptional ends. So we maintain the data for - the statement start.
-
- -
val pretty : unit -> t -> Pretty.doc
-Pretty-print the state
-
-
val stmtStartData : t Inthash.t
-For each block id, the data at the start. This data structure must be - initialized with the initial data for each block
-
-
val combineStmtStartData : Cil.stmt ->
       old:t ->
       t -> t option
-When the analysis reaches the start of a block, combine the old data - with the one we have just computed. Return None if the combination is - the same as the old data, otherwise return the combination. In the - latter case, the predecessors of the statement are put on the working - list.
-
-
val combineSuccessors : t ->
       t -> t
-Take the data from two successors and combine it
-
-
val doStmt : Cil.stmt -> t Dataflow.action
-The (backwards) transfer function for a branch. The Cil.currentLoc is - set before calling this. If it returns None, then we have some default - handling. Otherwise, the returned data is the data before the branch - (not considering the exception handlers)
-
-
val doInstr : Cil.instr ->
       t -> t Dataflow.action
-The (backwards) transfer function for an instruction. The - Cil.currentLoc is set before calling this. If it returns None, then we - have some default handling. Otherwise, the returned data is the data - before the branch (not considering the exception handlers)
-
-
val filterStmt : Cil.stmt -> Cil.stmt -> bool
-Whether to put this predecessor block in the worklist. We give the - predecessor and the block whose predecessor we are (and whose data has - changed)
-
- \ No newline at end of file diff --git a/cil/doc/api/Dataflow.ForwardsDataFlow.html b/cil/doc/api/Dataflow.ForwardsDataFlow.html deleted file mode 100644 index 760dc2be..00000000 --- a/cil/doc/api/Dataflow.ForwardsDataFlow.html +++ /dev/null @@ -1,53 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.ForwardsDataFlow - - -
 Up - Next -
-

Functor Dataflow.ForwardsDataFlow

-
-
module ForwardsDataFlow: 
functor (T : ForwardsTransfer) -> sig .. end
- - - - -
Parameters: - - - - -
-T:ForwardsTransfer -
-
-
-
val compute : Cil.stmt list -> unit
-Fill in the T.stmtStartData, given a number of initial statements to - start from. All of the initial statements must have some entry in - T.stmtStartData (i.e., the initial data should not be bottom)
-
- \ No newline at end of file diff --git a/cil/doc/api/Dataflow.ForwardsTransfer.html b/cil/doc/api/Dataflow.ForwardsTransfer.html deleted file mode 100644 index dbefaa03..00000000 --- a/cil/doc/api/Dataflow.ForwardsTransfer.html +++ /dev/null @@ -1,88 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.ForwardsTransfer - - -
 Up - Next -
-

Module type Dataflow.ForwardsTransfer

-
-
module type ForwardsTransfer = sig .. end
-
val name : string
-For debugging purposes, the name of the analysis
-
-
val debug : bool Pervasives.ref
-Whether to turn on debugging
-
-
type t
-
-The type of the data we compute for each block start. May be - imperative.
-
- -
val copy : t -> t
-Make a deep copy of the data
-
-
val stmtStartData : t Inthash.t
-For each statement id, the data at the start. Not found in the hash - table means nothing is known about the state at this point. At the end - of the analysis this means that the block is not reachable.
-
-
val pretty : unit -> t -> Pretty.doc
-Pretty-print the state
-
-
val computeFirstPredecessor : Cil.stmt -> t -> t
-Give the first value for a predecessors, compute the value to be set - for the block
-
-
val combinePredecessors : Cil.stmt ->
       old:t ->
       t -> t option
-Take some old data for the start of a statement, and some new data for - the same point. Return None if the combination is identical to the old - data. Otherwise, compute the combination, and return it.
-
-
val doInstr : Cil.instr ->
       t -> t Dataflow.action
-The (forwards) transfer function for an instruction. The - Cil.currentLoc is set before calling this. The default action is to - continue with the state unchanged.
-
-
val doStmt : Cil.stmt ->
       t ->
       t Dataflow.stmtaction
-The (forwards) transfer function for a statement. The Cil.currentLoc - is set before calling this. The default action is to do the instructions - in this statement, if applicable, and continue with the successors.
-
-
val doGuard : Cil.exp ->
       t ->
       t Dataflow.guardaction
-Generate the successor to an If statement assuming the given expression - is nonzero. Analyses that don't need guard information can return - GDefault; this is equivalent to returning GUse of the input. - A return value of GUnreachable indicates that this half of the branch - will not be taken and should not be explored. This will be called - twice per If, once for "then" and once for "else".
-
-
val filterStmt : Cil.stmt -> bool
-Whether to put this statement in the worklist. This is called when a - block would normally be put in the worklist.
-
- \ No newline at end of file diff --git a/cil/doc/api/Dataflow.html b/cil/doc/api/Dataflow.html deleted file mode 100644 index 9f744ea0..00000000 --- a/cil/doc/api/Dataflow.html +++ /dev/null @@ -1,114 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow - - -
Previous - Up - Next -
-

Module Dataflow

-
-
module Dataflow: sig .. end
A framework for data flow analysis for CIL code. Before using - this framework, you must initialize the Control-flow Graph for your - program, e.g using Cfg.computeFileCFG
-
-
type 'a action = - - - - - - - - - - - - - - -
-| -Default(*The default action*)
-| -Done of 'a(*Do not do the default action. Use this result*)
-| -Post of ('a -> 'a)(*The default action, followed by the given - transformer*)
- - -
type 'a stmtaction = - - - - - - - - - - - - - - -
-| -SDefault(*The default action*)
-| -SDone(*Do not visit this statement or its successors*)
-| -SUse of 'a(*Visit the instructions and successors of this statement - as usual, but use the specified state instead of the - one that was passed to doStmt*)
- - -
type 'a guardaction = - - - - - - - - - - - - - - -
-| -GDefault(*The default state*)
-| -GUse of 'a(*Use this data for the branch*)
-| -GUnreachable(*The branch will never be taken.*)
- - -
module type ForwardsTransfer = sig .. end
module ForwardsDataFlow: 
functor (T : ForwardsTransfer) -> sig .. end
module type BackwardsTransfer = sig .. end
module BackwardsDataFlow: 
functor (T : BackwardsTransfer) -> sig .. end
\ No newline at end of file diff --git a/cil/doc/api/Dominators.html b/cil/doc/api/Dominators.html deleted file mode 100644 index 4d8eaf9e..00000000 --- a/cil/doc/api/Dominators.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dominators - - -
Previous - Up - 
-

Module Dominators

-
-
module Dominators: sig .. end
Compute dominators using data flow analysis
-
-
-Author: George Necula - 5/28/2004 -
-
val computeIDom : Cil.fundec -> Cil.stmt option Inthash.t
-Invoke on a code after filling in the CFG info and it computes the - immediate dominator information. We map each statement to its immediate - dominator (None for the start statement, and for the unreachable - statements).
-
-
val getIdom : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt option
-This is like Inthash.find but gives an error if the information is - Not_found
-
-
val dominates : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt -> bool
-Check whether one statement dominates another.
-
-
val findNaturalLoops : Cil.fundec -> Cil.stmt option Inthash.t -> (Cil.stmt * Cil.stmt list) list
-Compute the start of the natural loops. This assumes that the "idom" - field has been computed. For each start, keep a list of origin of a back - edge. The loop consists of the loop start and all predecessors of the - origins of back edges, up to and including the loop start
-
- \ No newline at end of file diff --git a/cil/doc/api/Errormsg.html b/cil/doc/api/Errormsg.html deleted file mode 100644 index bc194728..00000000 --- a/cil/doc/api/Errormsg.html +++ /dev/null @@ -1,141 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Errormsg - - -
Previous - Up - Next -
-

Module Errormsg

-
-
module Errormsg: sig .. end
Utility functions for error-reporting
-
-
val logChannel : Pervasives.out_channel Pervasives.ref
-A channel for printing log messages
-
-
val debugFlag : bool Pervasives.ref
-If set then print debugging info
-
-
val verboseFlag : bool Pervasives.ref
val warnFlag : bool Pervasives.ref
-Set to true if you want to see all warnings.
-
-
exception Error
-
-Error reporting functions raise this exception
-
-
val error : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Prints an error message of the form Error: .... - Use in conjunction with s, for example: E.s (E.error ... ).
-
-
val bug : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Similar to error except that its output has the form Bug: ...
-
-
val unimp : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Similar to error except that its output has the form Unimplemented: ...
-
-
val s : 'a -> 'b
-Stop the execution by raising an Error.
-
-
val hadErrors : bool Pervasives.ref
-This is set whenever one of the above error functions are called. It must - be cleared manually
-
-
val warn : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Like Errormsg.error but does not raise the Errormsg.Error - exception. Return type is unit.
-
-
val warnOpt : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Like Errormsg.warn but optional. Printed only if the - Errormsg.warnFlag is set
-
-
val log : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Print something to logChannel
-
-
val logg : ('a, unit, Pretty.doc, unit) format4 -> 'a
-same as Errormsg.log but do not wrap lines
-
-
val null : ('a, unit, Pretty.doc, unit) format4 -> 'a
-Do not actually print (i.e. print to /dev/null)
-
-
val pushContext : (unit -> Pretty.doc) -> unit
-Registers a context printing function
-
-
val popContext : unit -> unit
-Removes the last registered context printing function
-
-
val showContext : unit -> unit
-Show the context stack to stderr
-
-
val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b
-To ensure that the context is registered and removed properly, use the - function below
-
-
val newline : unit -> unit
val newHline : unit -> unit
val getPosition : unit -> int * string * int
val getHPosition : unit -> int * string
-high-level position
-
-
val setHLine : int -> unit
val setHFile : string -> unit
val setCurrentLine : int -> unit
val setCurrentFile : string -> unit

type location = { - - - - - - - - - - - - - - - - - - - -
-   -file : string;(*The file name*)
-   -line : int;(*The line number*)
-   -hfile : string;(*The high-level file name, or "" if not present*)
-   -hline : int;(*The high-level line number, or 0 if not present*)
-} - -
-Type for source-file locations
-
- -
val d_loc : unit -> location -> Pretty.doc
val d_hloc : unit -> location -> Pretty.doc
val getLocation : unit -> location
val parse_error : string -> 'a
val locUnknown : location
-An unknown location for use when you need one but you don't have one
-
-
val readingFromStdin : bool Pervasives.ref
-Records whether the stdin is open for reading the goal *
-
-
val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
val startParsingFromString : ?file:string -> ?line:int -> string -> Lexing.lexbuf
val finishParsing : unit -> unit
\ No newline at end of file diff --git a/cil/doc/api/Formatcil.html b/cil/doc/api/Formatcil.html deleted file mode 100644 index 8dee76d7..00000000 --- a/cil/doc/api/Formatcil.html +++ /dev/null @@ -1,84 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Formatcil - - -
Previous - Up - Next -
-

Module Formatcil

-
-
module Formatcil: sig .. end
An Interpreter for constructing CIL constructs
-
-
val cExp : string -> (string * Cil.formatArg) list -> Cil.exp
-Constructs an expression based on the program and the list of arguments. - Each argument consists of a name followed by the actual data. This - argument will be placed instead of occurrences of "%v:name" in the pattern - (where the "v" is dependent on the type of the data). The parsing of the - string is memoized. * Only the first expression is parsed.
-
-
val cLval : string -> (string * Cil.formatArg) list -> Cil.lval
-Constructs an lval based on the program and the list of arguments. - Only the first lvalue is parsed. - The parsing of the string is memoized.
-
-
val cType : string -> (string * Cil.formatArg) list -> Cil.typ
-Constructs a type based on the program and the list of arguments. - Only the first type is parsed. - The parsing of the string is memoized.
-
-
val cInstr : string -> Cil.location -> (string * Cil.formatArg) list -> Cil.instr
-Constructs an instruction based on the program and the list of arguments. - Only the first instruction is parsed. - The parsing of the string is memoized.
-
-
val cStmt : string ->
       (string -> Cil.typ -> Cil.varinfo) ->
       Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
val cStmts : string ->
       (string -> Cil.typ -> Cil.varinfo) ->
       Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list
-Constructs a list of statements
-
-
val dExp : string -> Cil.exp -> Cil.formatArg list option
-Deconstructs an expression based on the program. Produces an optional - list of format arguments. The parsing of the string is memoized.
-
-
val dLval : string -> Cil.lval -> Cil.formatArg list option
-Deconstructs an lval based on the program. Produces an optional - list of format arguments. The parsing of the string is memoized.
-
-
val dType : string -> Cil.typ -> Cil.formatArg list option
-Deconstructs a type based on the program. Produces an optional list of - format arguments. The parsing of the string is memoized.
-
-
val dInstr : string -> Cil.instr -> Cil.formatArg list option
-Deconstructs an instruction based on the program. Produces an optional - list of format arguments. The parsing of the string is memoized.
-
-
val noMemoize : bool Pervasives.ref
-If set then will not memoize the parsed patterns
-
-
val test : unit -> unit
-Just a testing function
-
- \ No newline at end of file diff --git a/cil/doc/api/Pretty.MakeMapPrinter.html b/cil/doc/api/Pretty.MakeMapPrinter.html deleted file mode 100644 index 9693a68d..00000000 --- a/cil/doc/api/Pretty.MakeMapPrinter.html +++ /dev/null @@ -1,63 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty.MakeMapPrinter - - -
 Up - Next -
-

Functor Pretty.MakeMapPrinter

-
-
module MakeMapPrinter: 
functor (Map : sig
type key 

-
-
type 'a t 

-
-
val fold : (key -> 'a -> 'b -> 'b) ->
       'a t -> 'b -> 'b
end) -> sig .. end
Format maps.
- - - - - -
Parameters: - - - - -
-Map:sig - type key - type 'a t - val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b - end -
-
-
-
val docMap : ?sep:Pretty.doc ->
       (Map.key -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-Format a map, analogous to docList.
-
-
val d_map : ?dmaplet:(Pretty.doc -> Pretty.doc -> Pretty.doc) ->
       string ->
       (unit -> Map.key -> Pretty.doc) ->
       (unit -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-Format a map, analogous to d_list.
-
- \ No newline at end of file diff --git a/cil/doc/api/Pretty.MakeSetPrinter.html b/cil/doc/api/Pretty.MakeSetPrinter.html deleted file mode 100644 index e9343b2f..00000000 --- a/cil/doc/api/Pretty.MakeSetPrinter.html +++ /dev/null @@ -1,63 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty.MakeSetPrinter - - -
Previous - Up - 
-

Functor Pretty.MakeSetPrinter

-
-
module MakeSetPrinter: 
functor (Set : sig
type elt 

-
-
type t 

-
-
val fold : (elt -> 'a -> 'a) ->
       t -> 'a -> 'a
end) -> sig .. end
Format sets.
- - - - - -
Parameters: - - - - -
-Set:sig - type elt - type t - val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a - end -
-
-
-
val docSet : ?sep:Pretty.doc -> (Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-Format a set, analogous to docList.
-
-
val d_set : string -> (unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-Format a set, analogous to d_list.
-
- \ No newline at end of file diff --git a/cil/doc/api/Pretty.html b/cil/doc/api/Pretty.html deleted file mode 100644 index c9c48c8e..00000000 --- a/cil/doc/api/Pretty.html +++ /dev/null @@ -1,268 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty - - -
 Up - Next -
-

Module Pretty

-
-
module Pretty: sig .. end
Utility functions for pretty-printing. The major features provided by - this module are - - Pretty-printing occurs in two stages: - - The formatting algorithm is not optimal but it does a pretty good job while - still operating in linear time. The original version was based on a pretty - printer by Philip Wadler which turned out to not scale to large jobs.
-
-
-API
-
type doc
-
-The type of unformated documents. Elements of this type can be - constructed in two ways. Either with a number of constructor shown below, - or using the Pretty.dprintf function with a printf-like interface. - The Pretty.dprintf method is slightly slower so we do not use it for - large jobs such as the output routines for a compiler. But we use it for - small jobs such as logging and error messages.
-
- -
-Constructors for the doc type.
-
val nil : doc
-Constructs an empty document
-
-
val (++) : doc -> doc -> doc
-Concatenates two documents. This is an infix operator that associates to - the left.
-
-
val concat : doc -> doc -> doc
val text : string -> doc
-A document that prints the given string
-
-
val num : int -> doc
-A document that prints an integer in decimal form
-
-
val real : float -> doc
-A document that prints a real number
-
-
val chr : char -> doc
-A document that prints a character. This is just like Pretty.text - with a one-character string.
-
-
val line : doc
-A document that consists of a mandatory newline. This is just like (text - "\n"). The new line will be indented to the current indentation level, - unless you use Pretty.leftflush right after this.
-
-
val leftflush : doc
-Use after a Pretty.line to prevent the indentation. Whatever follows - next will be flushed left. Indentation resumes on the next line.
-
-
val break : doc
-A document that consists of either a space or a line break. Also called - an optional line break. Such a break will be - taken only if necessary to fit the document in a given width. If the break - is not taken a space is printed instead.
-
-
val align : doc
-Mark the current column as the current indentation level. Does not print - anything. All taken line breaks will align to this column. The previous - alignment level is saved on a stack.
-
-
val unalign : doc
-Reverts to the last saved indentation level.
-
-
val mark : doc
-Mark the beginning of a markup section. The width of a markup section is - considered 0 for the purpose of computing identation
-
-
val unmark : doc
-The end of a markup section
-
-
-Syntactic sugar
-
val indent : int -> doc -> doc
-Indents the document. Same as ((text " ") ++ align ++ doc ++ unalign), - with the specified number of spaces.
-
-
val markup : doc -> doc
-Prints a document as markup. The marked document cannot contain line - breaks or alignment constructs.
-
-
val seq : sep:doc -> doit:('a -> doc) -> elements:'a list -> doc
-Formats a sequence. sep is a separator, doit is a function that - converts an element to a document.
-
-
val docList : ?sep:doc -> ('a -> doc) -> unit -> 'a list -> doc
-An alternative function for printing a list. The unit argument is there - to make this function more easily usable with the Pretty.dprintf - interface. The first argument is a separator, by default a comma.
-
-
val d_list : string -> (unit -> 'a -> doc) -> unit -> 'a list -> doc
-sm: Yet another list printer. This one accepts the same kind of - printing function that Pretty.dprintf does, and itself works - in the dprintf context. Also accepts - a string as the separator since that's by far the most common.
-
-
val docArray : ?sep:doc ->
       (int -> 'a -> doc) -> unit -> 'a array -> doc
-Formats an array. A separator and a function that prints an array - element. The default separator is a comma.
-
-
val docOpt : ('a -> doc) -> unit -> 'a option -> doc
-Prints an 'a option with None or Some
-
-
val d_int32 : int32 -> doc
-Print an int32
-
-
val f_int32 : unit -> int32 -> doc
val d_int64 : int64 -> doc
val f_int64 : unit -> int64 -> doc
module MakeMapPrinter: 
functor (Map : sig
type key 

-
-
type 'a t 

-
-
val fold : (key -> 'a -> 'b -> 'b) ->
       'a t -> 'b -> 'b
end) -> sig .. end
-Format maps. -
-
module MakeSetPrinter: 
functor (Set : sig
type elt 

-
-
type t 

-
-
val fold : (elt -> 'a -> 'a) ->
       t -> 'a -> 'a
end) -> sig .. end
-Format sets. -
-
val insert : unit -> doc -> doc
-A function that is useful with the printf-like interface
-
-
val dprintf : ('a, unit, doc, doc) format4 -> 'a
-This function provides an alternative method for constructing - doc objects. The first argument for this function is a format string - argument (of type ('a, unit, doc) format; if you insist on - understanding what that means see the module Printf). The format string - is like that for the printf function in C, except that it understands a - few more formatting controls, all starting with the @ character. -

- - See the gprintf function if you want to pipe the result of dprintf into - some other functions. -

- - The following special formatting characters are understood (these do not - correspond to arguments of the function):

- - In addition to the usual printf % formatting characters the following two - new characters are supported: - -
dprintf "Name=%s, SSN=%7d, Children=@[%a@]\n"
-             pers.name pers.ssn (docList (chr ',' ++ break) text)
-             pers.children
-

- - The result of dprintf is a Pretty.doc. You can format the document and - emit it using the functions Pretty.fprint and Pretty.sprint.
-

-
val gprintf : (doc -> 'a) -> ('b, unit, doc, 'a) format4 -> 'b
-Like Pretty.dprintf but more general. It also takes a function that is - invoked on the constructed document but before any formatting is done. The - type of the format argument means that 'a is the type of the parameters of - this function, unit is the type of the first argument to %a and %t - formats, doc is the type of the intermediate result, and 'b is the type of - the result of gprintf.
-
-
val fprint : Pervasives.out_channel -> width:int -> doc -> unit
-Format the document to the given width and emit it to the given channel
-
-
val sprint : width:int -> doc -> string
-Format the document to the given width and emit it as a string
-
-
val fprintf : Pervasives.out_channel -> ('a, unit, doc) Pervasives.format -> 'a
-Like Pretty.dprintf followed by Pretty.fprint
-
-
val printf : ('a, unit, doc) Pervasives.format -> 'a
-Like Pretty.fprintf applied to stdout
-
-
val eprintf : ('a, unit, doc) Pervasives.format -> 'a
-Like Pretty.fprintf applied to stderr
-
-
val withPrintDepth : int -> (unit -> unit) -> unit
-Invokes a thunk, with printDepth temporarily set to the specified value
-
-
-The following variables can be used to control the operation of the printer
-
val printDepth : int Pervasives.ref
-Specifies the nesting depth of the align/unalign pairs at which - everything is replaced with ellipsis
-
-
val printIndent : bool Pervasives.ref
-If false then does not indent
-
-
val fastMode : bool Pervasives.ref
-If set to true then optional breaks are taken only when the document - has exceeded the given width. This means that the printout will looked - more ragged but it will be faster
-
-
val flushOften : bool Pervasives.ref
-If true the it flushes after every print
-
-
val countNewLines : int Pervasives.ref
-Keep a running count of the taken newlines. You can read and write this - from the client code if you want
-
-
val auto_printer : string -> 'a
-A function that when used at top-level in a module will direct - the pa_prtype module generate automatically the printing functions for a - type
-
- \ No newline at end of file diff --git a/cil/doc/api/Stats.html b/cil/doc/api/Stats.html deleted file mode 100644 index b3f8aa42..00000000 --- a/cil/doc/api/Stats.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Stats - - -
Previous - Up - Next -
-

Module Stats

-
-
module Stats: sig .. end
Utilities for maintaining timing statistics
-
-
val reset : bool -> unit
-Resets all the timings. Invoke with "true" if you want to switch to using - the hardware performance counters from now on. You get an exception if - there are not performance counters available
-
-
exception NoPerfCount
-
val has_performance_counters : unit -> bool
-Check if we have performance counters
-
-
val sample_pentium_perfcount_20 : unit -> int
-Sample the current cycle count, in megacycles.
-
-
val sample_pentium_perfcount_10 : unit -> int
-Sample the current cycle count, in kilocycles.
-
-
val time : string -> ('a -> 'b) -> 'a -> 'b
-Time a function and associate the time with the given string. If some - timing information is already associated with that string, then accumulate - the times. If this function is invoked within another timed function then - you can have a hierarchy of timings
-
-
val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b
-repeattime is like time but runs the function several times until the total - running time is greater or equal to the first argument. The total time is - then divided by the number of times the function was run.
-
-
val print : Pervasives.out_channel -> string -> unit
-Print the current stats preceeded by a message
-
-
val lastTime : float Pervasives.ref
-Time a function and set lastTime to the time it took
-
-
val timethis : ('a -> 'b) -> 'a -> 'b
\ No newline at end of file diff --git a/cil/doc/api/index.html b/cil/doc/api/index.html deleted file mode 100644 index f9636b27..00000000 --- a/cil/doc/api/index.html +++ /dev/null @@ -1,83 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) - - -

CIL API Documentation (version 1.3.5)

-Index of types
-Index of exceptions
-Index of values
-Index of class methods
-Index of classes
-Index of class types
-Index of modules
-Index of module types
-

- - - - - - - - - - - - -
Pretty
-Utility functions for pretty-printing. -
-
Errormsg
-Utility functions for error-reporting -
-
Clist
-Utilities for managing "concatenable lists" (clists). -
-
Stats
-Utilities for maintaining timing statistics -
-
Cil
-CIL API Documentation. -
-
Formatcil
-An Interpreter for constructing CIL constructs -
-
Alpha
-ALPHA conversion -
-
Cillower
-A number of lowering passes over CIL -
-
Cfg
-Code to compute the control-flow graph of a function or file. -
-
Dataflow
-A framework for data flow analysis for CIL code. -
-
Dominators
-Compute dominators using data flow analysis -
-
- - \ No newline at end of file diff --git a/cil/doc/api/index_attributes.html b/cil/doc/api/index_attributes.html deleted file mode 100644 index 347bfa92..00000000 --- a/cil/doc/api/index_attributes.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of class attributes - - -

Index of class attributes

- -

- - \ No newline at end of file diff --git a/cil/doc/api/index_class_types.html b/cil/doc/api/index_class_types.html deleted file mode 100644 index 4c7faefe..00000000 --- a/cil/doc/api/index_class_types.html +++ /dev/null @@ -1,41 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of class types - - -

Index of class types

- - - - - - -

C
cilPrinter [Cil]
-A printer interface for CIL trees. -
-
cilVisitor [Cil]
-A visitor interface for traversing CIL trees. -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_classes.html b/cil/doc/api/index_classes.html deleted file mode 100644 index 1a5ba7d4..00000000 --- a/cil/doc/api/index_classes.html +++ /dev/null @@ -1,46 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of classes - - -

Index of classes

- - - - - - - - - - -

D
defaultCilPrinterClass [Cil]

N
nopCilVisitor [Cil]
-Default Visitor. -
-

P
plainCilPrinterClass [Cil]
-These are pretty-printers that will show you more details on the internal - CIL representation, without trying hard to make it look like C -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_exceptions.html b/cil/doc/api/index_exceptions.html deleted file mode 100644 index e774a65a..00000000 --- a/cil/doc/api/index_exceptions.html +++ /dev/null @@ -1,53 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of exceptions - - -

Index of exceptions

- - - - - - - - - - - - - -

E
Error [Errormsg]
-Error reporting functions raise this exception -
-

L
LenOfArray [Cil]
-Raised when Cil.lenOfArray fails either because the length is None - or because it is a non-constant expression -
-

N
NoPerfCount [Stats]

S
SizeOfError [Cil]
-Raised when one of the bitsSizeOf functions cannot compute the size of a - type. -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_methods.html b/cil/doc/api/index_methods.html deleted file mode 100644 index 1558de3e..00000000 --- a/cil/doc/api/index_methods.html +++ /dev/null @@ -1,228 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of class methods - - -

Index of class methods

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

D
dBlock [Cil.cilPrinter]
-Dump a control-flow block to a file with a given indentation. -
-
dGlobal [Cil.cilPrinter]
-Dump a global to a file with a given indentation. -
-
dInit [Cil.cilPrinter]
-Dump a global to a file with a given indentation. -
-
dStmt [Cil.cilPrinter]
-Dump a control-flow statement to a file with a given indentation. -
-

P
pAttr [Cil.cilPrinter]
-Attribute. -
-
pAttrParam [Cil.cilPrinter]
-Attribute parameter -
-
pAttrs [Cil.cilPrinter]
-Attribute lists -
-
pBlock [Cil.cilPrinter]
pExp [Cil.cilPrinter]
-Print expressions -
-
pFieldDecl [Cil.cilPrinter]
-A field declaration -
-
pGlobal [Cil.cilPrinter]
-Global (vars, types, etc.). -
-
pInit [Cil.cilPrinter]
-Print initializers. -
-
pInstr [Cil.cilPrinter]
-Invoked on each instruction occurrence. -
-
pLabel [Cil.cilPrinter]
-Print a label. -
-
pLineDirective [Cil.cilPrinter]
-Print a line-number. -
-
pLval [Cil.cilPrinter]
-Invoked on each lvalue occurrence -
-
pOffset [Cil.cilPrinter]
-Invoked on each offset occurrence. -
-
pStmt [Cil.cilPrinter]
-Control-flow statement. -
-
pStmtKind [Cil.cilPrinter]
-Print a statement kind. -
-
pType [Cil.cilPrinter]
pVDecl [Cil.cilPrinter]
-Invoked for each variable declaration. -
-
pVar [Cil.cilPrinter]
-Invoked on each variable use. -
-

Q
queueInstr [Cil.cilVisitor]
-Add here instructions while visiting to queue them to preceede the - current statement or instruction being processed. -
-

U
unqueueInstr [Cil.cilVisitor]
-Gets the queue of instructions and resets the queue. -
-

V
vattr [Cil.cilVisitor]
-Attribute. -
-
vattrparam [Cil.cilVisitor]
-Attribute parameters. -
-
vblock [Cil.cilVisitor]
-Block. -
-
vexpr [Cil.cilVisitor]
-Invoked on each expression occurrence. -
-
vfunc [Cil.cilVisitor]
-Function definition. -
-
vglob [Cil.cilVisitor]
-Global (vars, types, - etc.) -
-
vinit [Cil.cilVisitor]
-Initializers for globals -
-
vinitoffs [Cil.cilVisitor]
-Invoked on each offset appearing in the list of a - CompoundInit initializer. -
-
vinst [Cil.cilVisitor]
-Invoked on each instruction occurrence. -
-
vlval [Cil.cilVisitor]
-Invoked on each lvalue occurrence -
-
voffs [Cil.cilVisitor]
-Invoked on each offset occurrence that is *not* as part - of an initializer list specification, i.e. -
-
vstmt [Cil.cilVisitor]
-Control-flow statement. -
-
vtype [Cil.cilVisitor]
-Use of some type. -
-
vvdec [Cil.cilVisitor]
-Invoked for each variable declaration. -
-
vvrbl [Cil.cilVisitor]
-Invoked on each variable use. -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_module_types.html b/cil/doc/api/index_module_types.html deleted file mode 100644 index 244d4027..00000000 --- a/cil/doc/api/index_module_types.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of module types - - -

Index of module types

- - - - - - - -

B
BackwardsTransfer [Dataflow]

F
ForwardsTransfer [Dataflow]

- - \ No newline at end of file diff --git a/cil/doc/api/index_modules.html b/cil/doc/api/index_modules.html deleted file mode 100644 index 090693f5..00000000 --- a/cil/doc/api/index_modules.html +++ /dev/null @@ -1,108 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of modules - - -

Index of modules

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

A
Alpha
-ALPHA conversion -
-

B
BackwardsDataFlow [Dataflow]

C
Cfg
-Code to compute the control-flow graph of a function or file. -
-
Cil
-CIL API Documentation. -
-
Cillower
-A number of lowering passes over CIL -
-
Clist
-Utilities for managing "concatenable lists" (clists). -
-

D
Dataflow
-A framework for data flow analysis for CIL code. -
-
Dominators
-Compute dominators using data flow analysis -
-

E
Errormsg
-Utility functions for error-reporting -
-

F
Formatcil
-An Interpreter for constructing CIL constructs -
-
ForwardsDataFlow [Dataflow]

M
MakeMapPrinter [Pretty]
-Format maps. -
-
MakeSetPrinter [Pretty]
-Format sets. -
-

P
Pretty
-Utility functions for pretty-printing. -
-

S
Stats
-Utilities for maintaining timing statistics -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_types.html b/cil/doc/api/index_types.html deleted file mode 100644 index 1974acd6..00000000 --- a/cil/doc/api/index_types.html +++ /dev/null @@ -1,271 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of types - - -

Index of types

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

A
action [Dataflow]
alphaTableData [Alpha]
-This is the type of the elements of the alpha renaming table. -
-
attribute [Cil]
attributeClass [Cil]
-Various classes of attributes -
-
attributes [Cil]
-Attributes are lists sorted by the attribute name. -
-
attrparam [Cil]
-The type of parameters of attributes -
-

B
binop [Cil]
-Binary operations -
-
block [Cil]
-A block is a sequence of statements with the control falling through from - one element to the next -
-

C
clist [Clist]
-The clist datatype. -
-
comment [Cil]
compinfo [Cil]
-The definition of a structure or union type. -
-
constant [Cil]
-Literal constants -
-

D
doc [Pretty]
-The type of unformated documents. -
-

E
enuminfo [Cil]
-Information about an enumeration -
-
existsAction [Cil]
-A datatype to be used in conjunction with existsType -
-
exp [Cil]
-Expressions (Side-effect free) -
-

F
featureDescr [Cil]
-To be able to add/remove features easily, each feature should be package - as an interface with the following interface. -
-
fieldinfo [Cil]
-Information about a struct/union field -
-
file [Cil]
-Top-level representation of a C source file -
-
fkind [Cil]
-Various kinds of floating-point numbers -
-
formatArg [Cil]
-The type of argument for the interpreter -
-
fundec [Cil]
-Function definitions. -
-

G
global [Cil]
-A global declaration or definition -
-
guardaction [Dataflow]

I
ikind [Cil]
-Various kinds of integers -
-
init [Cil]
-Initializers for global variables. -
-
initinfo [Cil]
-We want to be able to update an initializer in a global variable, so we - define it as a mutable field -
-
instr [Cil]
-Instructions. -
-

L
label [Cil]
-Labels -
-
lhost [Cil]
-The host part of an Cil.lval. -
-
lineDirectiveStyle [Cil]
-Styles of printing line directives -
-
location [Cil]
-Describes a location in a source file. -
-
location [Errormsg]
-Type for source-file locations -
-
lval [Cil]
-An lvalue -
-

O
offset [Cil]
-The offset part of an Cil.lval. -
-

S
stmt [Cil]
-Statements. -
-
stmtaction [Dataflow]
stmtkind [Cil]
-The various kinds of control-flow statements statements -
-
storage [Cil]
-Storage-class information -
-

T
t [Dataflow.BackwardsTransfer]
-The type of the data we compute for each block start. -
-
t [Dataflow.ForwardsTransfer]
-The type of the data we compute for each block start. -
-
typ [Cil]
typeinfo [Cil]
-Information about a defined type -
-
typsig [Cil]
-Type signatures. -
-

U
undoAlphaElement [Alpha]
-This is the type of the elements that are recorded by the alpha - conversion functions in order to be able to undo changes to the tables - they modify. -
-
unop [Cil]
-Unary operators -
-

V
varinfo [Cil]
-Information about a variable. -
-
visitAction [Cil]
-Different visiting actions. -
-

- - \ No newline at end of file diff --git a/cil/doc/api/index_values.html b/cil/doc/api/index_values.html deleted file mode 100644 index 799daafd..00000000 --- a/cil/doc/api/index_values.html +++ /dev/null @@ -1,1964 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of values - - -

Index of values

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

(++) [Pretty]
-Concatenates two documents. -
-

A
addAttribute [Cil]
-Add an attribute. -
-
addAttributes [Cil]
-Add a list of attributes. -
-
addOffset [Cil]
-addOffset o1 o2 adds o1 to the end of o2. -
-
addOffsetLval [Cil]
-Add an offset at the end of an lvalue. -
-
additiveLevel [Cil]
addrOfLevel [Cil]
align [Pretty]
-Mark the current column as the current indentation level. -
-
alignOf_int [Cil]
-The minimum alignment (in bytes) for a type. -
-
append [Clist]
-Append two clists -
-
argsToList [Cil]
-Obtain the argument list ([] if None) -
-
arrowLevel [Cil]
attributeHash [Cil]
-This table contains the mapping of predefined attributes to classes. -
-
auto_printer [Pretty]
-A function that when used at top-level in a module will direct - the pa_prtype module generate automatically the printing functions for a - type -
-

B
bitsOffset [Cil]
-Give a type of a base and an offset, returns the number of bits from the - base address and the width (also expressed in bits) for the subobject - denoted by the offset. -
-
bitsSizeOf [Cil]
-The size of a type, in bits. -
-
bitwiseLevel [Cil]
break [Pretty]
-A document that consists of either a space or a line break. -
-
bug [Cil]
-Like Errormsg.bug except that Cil.currentLoc is also printed -
-
bug [Errormsg]
-Similar to error except that its output has the form Bug: ... -
-

C
cExp [Formatcil]
-Constructs an expression based on the program and the list of arguments. -
-
cInstr [Formatcil]
-Constructs an instruction based on the program and the list of arguments. -
-
cLval [Formatcil]
-Constructs an lval based on the program and the list of arguments. -
-
cStmt [Formatcil]
cStmts [Formatcil]
-Constructs a list of statements -
-
cType [Formatcil]
-Constructs a type based on the program and the list of arguments. -
-
cfgFun [Cfg]
-Compute a control flow graph for fd. -
-
charConstPtrType [Cil]
-char const * -
-
charConstToInt [Cil]
-Given the character c in a (CChr c), sign-extend it to 32 bits. -
-
charPtrType [Cil]
-char * -
-
charType [Cil]
-char -
-
char_is_unsigned [Cil]
-Whether "char" is unsigned. -
-
checkBeforeAppend [Clist]
-A useful check to assert before an append. -
-
chr [Pretty]
-A document that prints a character. -
-
cilVersion [Cil]
-This are the CIL version numbers. -
-
cilVersionMajor [Cil]
cilVersionMinor [Cil]
cilVersionRevision [Cil]
clearCFGinfo [Cfg]
-clear the sid, succs, and preds fields of each statment in a function -
-
clearFileCFG [Cfg]
-clear the sid, succs, and preds fields of each statement. -
-
combinePredecessors [Dataflow.ForwardsTransfer]
-Take some old data for the start of a statement, and some new data for - the same point. -
-
combineStmtStartData [Dataflow.BackwardsTransfer]
-When the analysis reaches the start of a block, combine the old data - with the one we have just computed. -
-
combineSuccessors [Dataflow.BackwardsTransfer]
-Take the data from two successors and combine it -
-
compFullName [Cil]
-Get the full name of a comp -
-
compactStmts [Cil]
-Try to compress statements so as to get maximal basic blocks -
-
comparativeLevel [Cil]
compareLoc [Cil]
-Comparison function for locations. -
-
compute [Dataflow.BackwardsDataFlow]
-Fill in the T.stmtStartData, given a number of initial statements to - start from (the sinks for the backwards data flow). -
-
compute [Dataflow.ForwardsDataFlow]
-Fill in the T.stmtStartData, given a number of initial statements to - start from. -
-
computeCFGInfo [Cil]
-Compute the CFG information for all statements in a fundec and return a - list of the statements. -
-
computeFileCFG [Cfg]
-Compute the CFG for an entire file, by calling cfgFun on each function. -
-
computeFirstPredecessor [Dataflow.ForwardsTransfer]
-Give the first value for a predecessors, compute the value to be set - for the block -
-
computeIDom [Dominators]
-Invoke on a code after filling in the CFG info and it computes the - immediate dominator information. -
-
concat [Pretty]
constFold [Cil]
-Do constant folding on an expression. -
-
constFoldBinOp [Cil]
-Do constant folding on a binary operation. -
-
constFoldVisitor [Cil]
-A visitor that does constant folding. -
-
copy [Dataflow.ForwardsTransfer]
-Make a deep copy of the data -
-
copyCompInfo [Cil]
-Makes a shallow copy of a Cil.compinfo changing the name and the key. -
-
copyFunction [Cil]
-Create a deep copy of a function. -
-
copyVarinfo [Cil]
-Make a shallow copy of a varinfo and assign a new identifier -
-
countNewLines [Pretty]
-Keep a running count of the taken newlines. -
-
currentGlobal [Cil]
-A reference to the current global being visited -
-
currentLoc [Cil]
-A reference to the current location. -
-

D
dExp [Formatcil]
-Deconstructs an expression based on the program. -
-
dExp [Cil]
-Generate an Cil.exp to be used in case of errors. -
-
dGlobal [Cil]
-Generate a Cil.global to be used in case of errors. -
-
dInstr [Formatcil]
-Deconstructs an instruction based on the program. -
-
dInstr [Cil]
-Generate an Cil.instr to be used in case of errors. -
-
dLval [Formatcil]
-Deconstructs an lval based on the program. -
-
dType [Formatcil]
-Deconstructs a type based on the program. -
-
d_attr [Cil]
-Pretty-print an attribute using Cil.defaultCilPrinter -
-
d_attrlist [Cil]
-Pretty-print a list of attributes using Cil.defaultCilPrinter -
-
d_attrparam [Cil]
-Pretty-print an argument of an attribute using Cil.defaultCilPrinter -
-
d_binop [Cil]
-Pretty-print a binary operator -
-
d_block [Cil]
-Pretty-print a block using Cil.defaultCilPrinter. -
-
d_const [Cil]
-Pretty-print a constant -
-
d_exp [Cil]
-Pretty-print an expression using Cil.defaultCilPrinter -
-
d_fkind [Cil]
-Pretty-print a floating-point kind -
-
d_formatarg [Cil]
-Pretty-prints a format arg -
-
d_global [Cil]
-Pretty-print the internal representation of a global using - Cil.defaultCilPrinter. -
-
d_hloc [Errormsg]
d_ikind [Cil]
-Pretty-print an integer of a given kind -
-
d_init [Cil]
-Pretty-print an initializer using Cil.defaultCilPrinter. -
-
d_instr [Cil]
-Pretty-print an instruction using Cil.defaultCilPrinter -
-
d_int32 [Pretty]
-Print an int32 -
-
d_int64 [Pretty]
d_label [Cil]
-Pretty-print a label using Cil.defaultCilPrinter -
-
d_list [Pretty]
-sm: Yet another list printer. -
-
d_loc [Cil]
-Pretty-print a location -
-
d_loc [Errormsg]
d_lval [Cil]
-Pretty-print an lvalue using Cil.defaultCilPrinter -
-
d_map [Pretty.MakeMapPrinter]
-Format a map, analogous to d_list. -
-
d_offset [Cil]
-Pretty-print an offset using Cil.defaultCilPrinter, given the pretty - printing for the base. -
-
d_plainexp [Cil]
-Pretty-print the internal representation of an expression -
-
d_plaininit [Cil]
-Pretty-print the internal representation of an integer -
-
d_plainlval [Cil]
-Pretty-print the internal representation of an lvalue -
-
d_plaintype [Cil]
-Pretty-print the internal representation of a type -
-
d_set [Pretty.MakeSetPrinter]
-Format a set, analogous to d_list. -
-
d_shortglobal [Cil]
-Pretty-print a short description of the global. -
-
d_stmt [Cil]
-Pretty-print a statement using Cil.defaultCilPrinter. -
-
d_storage [Cil]
-Pretty-print storage-class information -
-
d_thisloc [Cil]
-Pretty-print the Cil.currentLoc -
-
d_type [Cil]
-Pretty-print a type using Cil.defaultCilPrinter -
-
d_typsig [Cil]
-Print a type signature -
-
d_unop [Cil]
-Pretty-print a unary operator -
-
debug [Dataflow.BackwardsTransfer]
-Whether to turn on debugging -
-
debug [Dataflow.ForwardsTransfer]
-Whether to turn on debugging -
-
debugFlag [Errormsg]
-If set then print debugging info -
-
defaultCilPrinter [Cil]
derefStarLevel [Cil]
dn_attr [Cil]
dn_attrlist [Cil]
dn_attrparam [Cil]
dn_exp [Cil]
-Versions of the above pretty printers, that don't print #line directives -
-
dn_global [Cil]
dn_init [Cil]
dn_instr [Cil]
dn_lval [Cil]
dn_stmt [Cil]
dn_type [Cil]
doGuard [Dataflow.ForwardsTransfer]
-Generate the successor to an If statement assuming the given expression - is nonzero. -
-
doInstr [Dataflow.BackwardsTransfer]
-The (backwards) transfer function for an instruction. -
-
doInstr [Dataflow.ForwardsTransfer]
-The (forwards) transfer function for an instruction. -
-
doStmt [Dataflow.BackwardsTransfer]
-The (backwards) transfer function for a branch. -
-
doStmt [Dataflow.ForwardsTransfer]
-The (forwards) transfer function for a statement. -
-
docAlphaTable [Alpha]
-Split the name in preparation for newAlphaName. -
-
docArray [Pretty]
-Formats an array. -
-
docCList [Clist]
-A document for printing a clist (similar to docList) -
-
docList [Pretty]
-An alternative function for printing a list. -
-
docMap [Pretty.MakeMapPrinter]
-Format a map, analogous to docList. -
-
docOpt [Pretty]
-Prints an 'a option with None or Some -
-
docSet [Pretty.MakeSetPrinter]
-Format a set, analogous to docList. -
-
dominates [Dominators]
-Check whether one statement dominates another. -
-
doubleType [Cil]
-double -
-
dprintf [Pretty]
-This function provides an alternative method for constructing - doc objects. -
-
dropAttribute [Cil]
-Remove all attributes with the given name. -
-
dropAttributes [Cil]
-Remove all attributes with names appearing in the string list. -
-
dummyFile [Cil]
-A dummy file -
-
dummyFunDec [Cil]
-A dummy function declaration handy when you need one as a placeholder. -
-
dummyInstr [Cil]
-A instr to serve as a placeholder -
-
dummyStmt [Cil]
-A statement consisting of just dummyInstr -
-
dumpBlock [Cil]
-Dump a block to a file using a given indentation. -
-
dumpFile [Cil]
-Pretty-print an entire file. -
-
dumpGlobal [Cil]
-Pretty-print a global. -
-
dumpInit [Cil]
-Dump an initializer to a file using a given indentation. -
-
dumpStmt [Cil]
-Dump a statement to a file using a given indentation. -
-

E
empty [Clist]
-The empty clist -
-
emptyFunction [Cil]
-Make an empty function -
-
eprintf [Pretty]
-Like Pretty.fprintf applied to stderr -
-
error [Cil]
-Like Errormsg.error except that Cil.currentLoc is also printed -
-
error [Errormsg]
-Prints an error message of the form Error: .... -
-
errorLoc [Cil]
-Like Cil.error except that it explicitly takes a location argument, - instead of using the Cil.currentLoc -
-
existsType [Cil]
-Scans a type by applying the function on all elements. -
-

F
f_int32 [Pretty]
f_int64 [Pretty]
fastMode [Pretty]
-If set to true then optional breaks are taken only when the document - has exceeded the given width. -
-
filterAttributes [Cil]
-Retains attributes with the given name -
-
filterStmt [Dataflow.BackwardsTransfer]
-Whether to put this predecessor block in the worklist. -
-
filterStmt [Dataflow.ForwardsTransfer]
-Whether to put this statement in the worklist. -
-
findNaturalLoops [Dominators]
-Compute the start of the natural loops. -
-
finishParsing [Errormsg]
flushOften [Pretty]
-If true the it flushes after every print -
-
foldGlobals [Cil]
-Fold over all globals, including the global initializer -
-
foldLeftCompound [Cil]
-Fold over the list of initializers in a Compound. -
-
foldLeftCompoundAll [Cil]
-Fold over the list of initializers in a Compound, like - Cil.foldLeftCompound but in the case of an array it scans even missing - zero initializers at the end of the array -
-
fold_left [Clist]
-A version of fold_left that works on clists -
-
forgcc [Cil]
-Return the string 's' if we're printing output for gcc, suppres - it if we're printing for CIL to parse back in. -
-
fprint [Pretty]
-Format the document to the given width and emit it to the given channel -
-
fprintf [Pretty]
-Like Pretty.dprintf followed by Pretty.fprint -
-
fromList [Clist]
-Convert an ordinary list to a clist -
-

G
gccBuiltins [Cil]
-A list of the GCC built-in functions. -
-
getAlphaPrefix [Alpha]
getCompField [Cil]
-Return a named fieldinfo in compinfo, or raise Not_found -
-
getGlobInit [Cil]
-Get the global initializer and create one if it does not already exist. -
-
getHPosition [Errormsg]
-high-level position -
-
getIdom [Dominators]
-This is like Inthash.find but gives an error if the information is - Not_found -
-
getLocation [Errormsg]
getParenthLevel [Cil]
-Parentheses level. -
-
getPosition [Errormsg]
get_globalLoc [Cil]
-Return the location of a global, or locUnknown -
-
get_instrLoc [Cil]
-Return the location of an instruction -
-
get_stmtLoc [Cil]
-Return the location of a statement, or locUnknown -
-
gprintf [Pretty]
-Like Pretty.dprintf but more general. -
-

H
hadErrors [Errormsg]
-This is set whenever one of the above error functions are called. -
-
hasAttribute [Cil]
-True if the named attribute appears in the attribute list. -
-
has_performance_counters [Stats]
-Check if we have performance counters -
-

I
increm [Cil]
-Increment an expression. -
-
indent [Pretty]
-Indents the document. -
-
indexLevel [Cil]
initCIL [Cil]
-Call this function to perform some initialization. -
-
insert [Pretty]
-A function that is useful with the printf-like interface -
-
insertImplicitCasts [Cil]
-Do insert implicit casts (default true) -
-
intPtrType [Cil]
-int * -
-
intType [Cil]
-int -
-
integer [Cil]
-Construct an integer of kind IInt. -
-
invalidStmt [Cil]
-An empty statement. -
-
isArithmeticType [Cil]
-True if the argument is an arithmetic type (i.e. -
-
isArrayType [Cil]
-True if the argument is an array type -
-
isCompleteType [Cil]
-Returns true if this is a complete type. -
-
isConstant [Cil]
-True if the expression is a compile-time constant -
-
isFunctionType [Cil]
-True if the argument is a function type -
-
isInteger [Cil]
-True if the given expression is a (possibly cast'ed) - character or an integer constant -
-
isIntegralType [Cil]
-True if the argument is an integral type (i.e. -
-
isPointerType [Cil]
-True if the argument is a pointer type -
-
isSigned [Cil]
-Returns true if and only if the given integer type is signed. -
-
isVoidPtrType [Cil]
isVoidType [Cil]
isZero [Cil]
-True if the given expression is a (possibly cast'ed) integer or character - constant with value zero -
-
iter [Clist]
-A version of iter that works on clists -
-
iterGlobals [Cil]
-Iterate over all globals, including the global initializer -
-

K
kinteger [Cil]
-Construct an integer of a given kind. -
-
kinteger64 [Cil]
-Construct an integer of a given kind, using OCaml's int64 type. -
-

L
lastTime [Stats]
-Time a function and set lastTime to the time it took -
-
leftflush [Pretty]
-Use after a Pretty.line to prevent the indentation. -
-
lenOfArray [Cil]
-Call to compute the array length as present in the array type, to an - integer. -
-
length [Clist]
-Find the length of a clist -
-
line [Pretty]
-A document that consists of a mandatory newline. -
-
lineDirectiveStyle [Cil]
-How to print line directives -
-
lineLength [Cil]
-The length used when wrapping output lines. -
-
little_endian [Cil]
-Whether the machine is little endian. -
-
loadBinaryFile [Cil]
-Read a Cil.file in binary form from the filesystem. -
-
locUnknown [Cil]
-Represents a location that cannot be determined -
-
locUnknown [Errormsg]
-An unknown location for use when you need one but you don't have one -
-
log [Errormsg]
-Print something to logChannel -
-
logChannel [Errormsg]
-A channel for printing log messages -
-
logg [Errormsg]
-same as Errormsg.log but do not wrap lines -
-
longType [Cil]
-long -
-
lowerConstants [Cil]
-Do lower constants (default true) -
-
lowerEnumVisitor [Cillower]
-Replace enumeration constants with integer constants -
-

M
makeFormalVar [Cil]
-Make a formal variable for a function. -
-
makeGlobalVar [Cil]
-Make a global variable. -
-
makeLocalVar [Cil]
-Make a local variable and add it to a function's slocals (only if insert = - true, which is the default). -
-
makeTempVar [Cil]
-Make a temporary variable and add it to a function's slocals. -
-
makeVarinfo [Cil]
-Make a varinfo. -
-
makeZeroInit [Cil]
-Make a initializer for zero-ing a data type -
-
map [Clist]
-Map a function over a clist. -
-
mapGlobals [Cil]
-Map over all globals, including the global initializer and change things - in place -
-
mapNoCopy [Cil]
-Like map but try not to make a copy of the list -
-
mapNoCopyList [Cil]
-Like map but each call can return a list. -
-
mark [Pretty]
-Mark the beginning of a markup section. -
-
markup [Pretty]
-Prints a document as markup. -
-
missingFieldName [Cil]
-This is a constant used as the name of an unnamed bitfield. -
-
mkAddrOf [Cil]
-Make an AddrOf. -
-
mkAddrOrStartOf [Cil]
-Like mkAddrOf except if the type of lval is an array then it uses - StartOf. -
-
mkBlock [Cil]
-Construct a block with no attributes, given a list of statements -
-
mkCast [Cil]
-Like Cil.mkCastT but uses typeOf to get oldt -
-
mkCastT [Cil]
-Construct a cast when having the old type of the expression. -
-
mkCompInfo [Cil]
-Creates a a (potentially recursive) composite type. -
-
mkEmptyStmt [Cil]
-Returns an empty statement (of kind Instr) -
-
mkFor [Cil]
-Make a for loop for(start; guard; next) { ... -
-
mkForIncr [Cil]
-Make a for loop for(i=start; i<past; i += incr) { ... -
-
mkMem [Cil]
-Make a Mem, while optimizing AddrOf. -
-
mkStmt [Cil]
-Construct a statement, given its kind. -
-
mkStmtOneInstr [Cil]
-Construct a statement consisting of just one instruction -
-
mkString [Cil]
-Make an expression that is a string constant (of pointer type) -
-
mkWhile [Cil]
-Make a while loop. -
-
mone [Cil]
--1 -
-
msvcBuiltins [Cil]
-A list of the MSVC built-in functions. -
-
msvcMode [Cil]
-Whether the pretty printer should print output for the MS VC compiler. -
-

N
name [Dataflow.BackwardsTransfer]
-For debugging purposes, the name of the analysis -
-
name [Dataflow.ForwardsTransfer]
-For debugging purposes, the name of the analysis -
-
newAlphaName [Alpha]
-Create a new name based on a given name. -
-
newHline [Errormsg]
newVID [Cil]
-Generate a new variable ID. -
-
new_sid [Cil]
newline [Errormsg]
nil [Pretty]
-Constructs an empty document -
-
noMemoize [Formatcil]
-If set then will not memoize the parsed patterns -
-
nodeList [Cfg]
-All of the nodes in a file. -
-
null [Errormsg]
-Do not actually print (i.e. -
-
num [Pretty]
-A document that prints an integer in decimal form -
-
numNodes [Cfg]
-number of nodes in the CFG -
-

O
one [Cil]
-1 -
-

P
parseInt [Cil]
-Convert a string representing a C integer literal to an expression. -
-
parse_error [Errormsg]
partitionAttributes [Cil]
-Partition the attributes into classes:name attributes, function type, - and type attributes -
-
peepHole1 [Cil]
-Similar to peepHole2 except that the optimization window consists of - one statement, not two -
-
peepHole2 [Cil]
-A peephole optimizer that processes two adjacent statements and possibly - replaces them both. -
-
plainCilPrinter [Cil]
popContext [Errormsg]
-Removes the last registered context printing function -
-
prepareCFG [Cil]
-Prepare a function for CFG information computation by - Cil.computeCFGInfo. -
-
pretty [Dataflow.BackwardsTransfer]
-Pretty-print the state -
-
pretty [Dataflow.ForwardsTransfer]
-Pretty-print the state -
-
print [Stats]
-Print the current stats preceeded by a message -
-
printAttr [Cil]
-Print an attribute given a pretty printer -
-
printAttrs [Cil]
-Print a set of attributes given a pretty printer -
-
printBlock [Cil]
-Print a block given a pretty printer. -
-
printCfgChannel [Cfg]
-print control flow graph (in dot form) for fundec to channel -
-
printCfgFilename [Cfg]
-Print control flow graph (in dot form) for fundec to file -
-
printCilAsIs [Cil]
-Whether to print the CIL as they are, without trying to be smart and - print nicer code. -
-
printDepth [Pretty]
-Specifies the nesting depth of the align/unalign pairs at which - everything is replaced with ellipsis -
-
printExp [Cil]
-Print an expression given a pretty printer -
-
printGlobal [Cil]
-Print a global given a pretty printer -
-
printIndent [Pretty]
-If false then does not indent -
-
printInit [Cil]
-Print an initializer given a pretty printer. -
-
printInstr [Cil]
-Print an instruction given a pretty printer -
-
printLval [Cil]
-Print an lvalue given a pretty printer -
-
printStmt [Cil]
-Print a statement given a pretty printer. -
-
printType [Cil]
-Print a type given a pretty printer -
-
print_CIL_Input [Cil]
-Whether we print something that will only be used as input to our own - parser. -
-
printerForMaincil [Cil]
printf [Pretty]
-Like Pretty.fprintf applied to stdout -
-
pushContext [Errormsg]
-Registers a context printing function -
-
pushGlobal [Cil]
-CIL keeps the types at the beginning of the file and the variables at the - end of the file. -
-

R
readingFromStdin [Errormsg]
-Records whether the stdin is open for reading the goal * -
-
real [Pretty]
-A document that prints a real number -
-
registerAlphaName [Alpha]
-Register a name with an alpha conversion table to ensure that when later - we call newAlphaName we do not end up generating this one -
-
removeOffset [Cil]
-Remove ONE offset from the end of an offset sequence. -
-
removeOffsetLval [Cil]
-Remove ONE offset from the end of an lvalue. -
-
repeattime [Stats]
-repeattime is like time but runs the function several times until the total - running time is greater or equal to the first argument. -
-
reset [Stats]
-Resets all the timings. -
-
rev [Clist]
-Reverse a clist. -
-

S
s [Errormsg]
-Stop the execution by raising an Error. -
-
sample_pentium_perfcount_10 [Stats]
-Sample the current cycle count, in kilocycles. -
-
sample_pentium_perfcount_20 [Stats]
-Sample the current cycle count, in megacycles. -
-
saveBinaryFile [Cil]
-Write a Cil.file in binary form to the filesystem. -
-
saveBinaryFileChannel [Cil]
-Write a Cil.file in binary form to the filesystem. -
-
separateStorageModifiers [Cil]
-Separate out the storage-modifier name attributes -
-
seq [Pretty]
-Formats a sequence. -
-
setCurrentFile [Errormsg]
setCurrentLine [Errormsg]
setFormals [Cil]
-Update the formals of a fundec and make sure that the function type - has the same information. -
-
setFunctionType [Cil]
-Set the types of arguments and results as given by the function type - passed as the second argument. -
-
setFunctionTypeMakeFormals [Cil]
-Set the type of the function and make formal arguments for them -
-
setHFile [Errormsg]
setHLine [Errormsg]
setMaxId [Cil]
-Update the smaxid after you have populated with locals and formals - (unless you constructed those using Cil.makeLocalVar or - Cil.makeTempVar. -
-
setTypeAttrs [Cil]
setTypeSigAttrs [Cil]
-Replace the attributes of a signature (only at top level) -
-
showContext [Errormsg]
-Show the context stack to stderr -
-
single [Clist]
-Create a clist containing one element -
-
sizeOf [Cil]
splitFunctionType [Cil]
-Given a function type split it into return type, - arguments, is_vararg and attributes. -
-
splitFunctionTypeVI [Cil]
sprint [Pretty]
-Format the document to the given width and emit it as a string -
-
startParsing [Errormsg]
startParsingFromString [Errormsg]
start_id [Cfg]
-Next statement id that will be assigned. -
-
startsWith [Cil]
-sm: return true if the first is a prefix of the second string -
-
stmtStartData [Dataflow.BackwardsTransfer]
-For each block id, the data at the start. -
-
stmtStartData [Dataflow.ForwardsTransfer]
-For each statement id, the data at the start. -
-
stripCasts [Cil]
-Removes casts from this expression, but ignores casts within - other expression constructs. -
-

T
test [Formatcil]
-Just a testing function -
-
text [Pretty]
-A document that prints the given string -
-
time [Stats]
-Time a function and associate the time with the given string. -
-
timethis [Stats]
toList [Clist]
-Convert a clist to an ordinary list -
-
typeAddAttributes [Cil]
-Add some attributes to a type -
-
typeAttrs [Cil]
-Returns all the attributes contained in a type. -
-
typeOf [Cil]
-Compute the type of an expression -
-
typeOfLval [Cil]
-Compute the type of an lvalue -
-
typeOfSizeOf [Cil]
typeOffset [Cil]
-Compute the type of an offset from a base type -
-
typeRemoveAttributes [Cil]
-Remove all attributes with the given names from a type. -
-
typeSig [Cil]
-Compute a type signature -
-
typeSigAttrs [Cil]
-Get the top-level attributes of a signature -
-
typeSigWithAttrs [Cil]
-Like Cil.typeSig but customize the incorporation of attributes. -
-

U
uintPtrType [Cil]
-unsigned int * -
-
uintType [Cil]
-unsigned int -
-
ulongType [Cil]
-unsigned long -
-
unalign [Pretty]
-Reverts to the last saved indentation level. -
-
underscore_name [Cil]
-Whether the compiler generates assembly labels by prepending "_" to the - identifier. -
-
undoAlphaChanges [Alpha]
-Undo the changes to a table -
-
unimp [Cil]
-Like Errormsg.unimp except that Cil.currentLocis also printed -
-
unimp [Errormsg]
-Similar to error except that its output has the form Unimplemented: ... -
-
uniqueVarNames [Cil]
-Assign unique names to local variables. -
-
unmark [Pretty]
-The end of a markup section -
-
unrollType [Cil]
-Unroll a type until it exposes a non - TNamed. -
-
unrollTypeDeep [Cil]
-Unroll all the TNamed in a type (even under type constructors such as - TPtr, TFun or TArray. -
-
upointType [Cil]
useLogicalOperators [Cil]
-Whether to use the logical operands LAnd and LOr. -
-

V
var [Cil]
-Makes an lvalue out of a given variable -
-
verboseFlag [Errormsg]
visitCilAttributes [Cil]
-Visit a list of attributes -
-
visitCilBlock [Cil]
-Visit a block -
-
visitCilExpr [Cil]
visitCilFile [Cil]
-Visit a file. -
-
visitCilFileSameGlobals [Cil]
-A visitor for the whole file that does not change the globals (but maybe - changes things inside the globals). -
-
visitCilFunction [Cil]
-Visit a function definition -
-
visitCilGlobal [Cil]
-Visit a global -
-
visitCilInit [Cil]
-Visit an initializer -
-
visitCilInitOffset [Cil]
-Visit an initializer offset -
-
visitCilInstr [Cil]
-Visit an instruction -
-
visitCilLval [Cil]
-Visit an lvalue -
-
visitCilOffset [Cil]
-Visit an lvalue or recursive offset -
-
visitCilStmt [Cil]
-Visit a statement -
-
visitCilType [Cil]
-Visit a type -
-
visitCilVarDecl [Cil]
-Visit a variable declaration -
-
voidPtrType [Cil]
-void * -
-
voidType [Cil]
-void -
-

W
warn [Cil]
-Like Errormsg.warn except that Cil.currentLoc is also printed -
-
warn [Errormsg]
-Like Errormsg.error but does not raise the Errormsg.Error - exception. -
-
warnContext [Cil]
-Like Errormsg.warn except that Cil.currentLoc and context - is also printed -
-
warnContextOpt [Cil]
-Like Errormsg.warn except that Cil.currentLoc and context is also - printed. -
-
warnFlag [Errormsg]
-Set to true if you want to see all warnings. -
-
warnLoc [Cil]
-Like Cil.warn except that it explicitly takes a location argument, - instead of using the Cil.currentLoc -
-
warnOpt [Cil]
-Like Errormsg.warnOpt except that Cil.currentLoc is also printed. -
-
warnOpt [Errormsg]
-Like Errormsg.warn but optional. -
-
wcharKind [Cil]
-wchar_t (depends on architecture) and is set when you call - Cil.initCIL. -
-
wcharType [Cil]
withContext [Errormsg]
-To ensure that the context is registered and removed properly, use the - function below -
-
withPrintDepth [Pretty]
-Invokes a thunk, with printDepth temporarily set to the specified value -
-

Z
zero [Cil]
-0 -
-

- - \ No newline at end of file diff --git a/cil/doc/api/style.css b/cil/doc/api/style.css deleted file mode 100644 index 11ed40ce..00000000 --- a/cil/doc/api/style.css +++ /dev/null @@ -1,32 +0,0 @@ -a:visited {color : #416DFF; text-decoration : none; } -a:link {color : #416DFF; text-decoration : none;} -a:hover {color : Red; text-decoration : none; background-color: #5FFF88} -a:active {color : Red; text-decoration : underline; } -.keyword { font-weight : bold ; color : Red } -.keywordsign { color : #C04600 } -.superscript { font-size : 4 } -.subscript { font-size : 4 } -.comment { color : Green } -.constructor { color : Blue } -.type { color : #5C6585 } -.string { color : Maroon } -.warning { color : Red ; font-weight : bold } -.info { margin-left : 3em; margin-right : 3em } -.code { color : #465F91 ; } -h1 { font-size : 20pt ; text-align: center; } -h2 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ;padding: 2px; } -h3 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ;padding: 2px; } -h4 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90EDFF ;padding: 2px; } -h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; } -h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; } -div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; } -div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; } -div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; } -.typetable { border-style : hidden } -.indextable { border-style : hidden } -.paramstable { border-style : hidden ; padding: 5pt 5pt} -body { background-color : White } -tr { background-color : White } -td.typefieldcomment { background-color : #FFFFFF } -pre { margin-bottom: 4px } -div.sig_block {margin-left: 2em} \ No newline at end of file diff --git a/cil/doc/api/type_Alpha.html b/cil/doc/api/type_Alpha.html deleted file mode 100644 index b97c835f..00000000 --- a/cil/doc/api/type_Alpha.html +++ /dev/null @@ -1,43 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Alpha - - -sig
-  type 'a undoAlphaElement
-  type 'a alphaTableData
-  val newAlphaName :
-    alphaTable:(string, 'a Alpha.alphaTableData Pervasives.ref) Hashtbl.t ->
-    undolist:'a Alpha.undoAlphaElement list Pervasives.ref option ->
-    lookupname:string -> data:'a -> string * 'a
-  val registerAlphaName :
-    alphaTable:(string, 'a Alpha.alphaTableData Pervasives.ref) Hashtbl.t ->
-    undolist:'a Alpha.undoAlphaElement list Pervasives.ref option ->
-    lookupname:string -> data:'a -> unit
-  val docAlphaTable :
-    unit ->
-    (string, 'a Alpha.alphaTableData Pervasives.ref) Hashtbl.t -> Pretty.doc
-  val getAlphaPrefix : lookupname:string -> string
-  val undoAlphaChanges :
-    alphaTable:(string, 'a Alpha.alphaTableData Pervasives.ref) Hashtbl.t ->
-    undolist:'a Alpha.undoAlphaElement list -> unit
-end \ No newline at end of file diff --git a/cil/doc/api/type_Cfg.html b/cil/doc/api/type_Cfg.html deleted file mode 100644 index 996d7739..00000000 --- a/cil/doc/api/type_Cfg.html +++ /dev/null @@ -1,35 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cfg - - -sig
-  val computeFileCFG : Cil.file -> unit
-  val clearFileCFG : Cil.file -> unit
-  val cfgFun : Cil.fundec -> int
-  val clearCFGinfo : Cil.fundec -> unit
-  val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit
-  val printCfgFilename : string -> Cil.fundec -> unit
-  val start_id : int Pervasives.ref
-  val nodeList : Cil.stmt list Pervasives.ref
-  val numNodes : int Pervasives.ref
-end \ No newline at end of file diff --git a/cil/doc/api/type_Cil.cilPrinter.html b/cil/doc/api/type_Cil.cilPrinter.html deleted file mode 100644 index ff117f5d..00000000 --- a/cil/doc/api/type_Cil.cilPrinter.html +++ /dev/null @@ -1,48 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.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 \ No newline at end of file diff --git a/cil/doc/api/type_Cil.cilVisitor.html b/cil/doc/api/type_Cil.cilVisitor.html deleted file mode 100644 index efe3d138..00000000 --- a/cil/doc/api/type_Cil.cilVisitor.html +++ /dev/null @@ -1,43 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.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 \ No newline at end of file diff --git a/cil/doc/api/type_Cil.defaultCilPrinterClass.html b/cil/doc/api/type_Cil.defaultCilPrinterClass.html deleted file mode 100644 index 75a36eb7..00000000 --- a/cil/doc/api/type_Cil.defaultCilPrinterClass.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.defaultCilPrinterClass - - -Cil.cilPrinter \ No newline at end of file diff --git a/cil/doc/api/type_Cil.html b/cil/doc/api/type_Cil.html deleted file mode 100644 index da6f9e96..00000000 --- a/cil/doc/api/type_Cil.html +++ /dev/null @@ -1,622 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil - - -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 \ No newline at end of file diff --git a/cil/doc/api/type_Cil.nopCilVisitor.html b/cil/doc/api/type_Cil.nopCilVisitor.html deleted file mode 100644 index 0ac6c96b..00000000 --- a/cil/doc/api/type_Cil.nopCilVisitor.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.nopCilVisitor - - -Cil.cilVisitor \ No newline at end of file diff --git a/cil/doc/api/type_Cil.plainCilPrinterClass.html b/cil/doc/api/type_Cil.plainCilPrinterClass.html deleted file mode 100644 index ecd63171..00000000 --- a/cil/doc/api/type_Cil.plainCilPrinterClass.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cil.plainCilPrinterClass - - -Cil.cilPrinter \ No newline at end of file diff --git a/cil/doc/api/type_Cillower.html b/cil/doc/api/type_Cillower.html deleted file mode 100644 index a8924ed6..00000000 --- a/cil/doc/api/type_Cillower.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cillower - - -sig val lowerEnumVisitor : Cil.cilVisitor end \ No newline at end of file diff --git a/cil/doc/api/type_Clist.html b/cil/doc/api/type_Clist.html deleted file mode 100644 index c7dbd02f..00000000 --- a/cil/doc/api/type_Clist.html +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Clist - - -sig
-  type 'a clist =
-      CList of 'a list
-    | CConsL of 'a * 'a Clist.clist
-    | CConsR of 'a Clist.clist * 'a
-    | CSeq of 'a Clist.clist * 'a Clist.clist
-  val toList : 'a Clist.clist -> 'a list
-  val fromList : 'a list -> 'a Clist.clist
-  val single : 'a -> 'a Clist.clist
-  val empty : 'a Clist.clist
-  val append : 'a Clist.clist -> 'a Clist.clist -> 'a Clist.clist
-  val checkBeforeAppend : 'a Clist.clist -> 'a Clist.clist -> bool
-  val length : 'a Clist.clist -> int
-  val map : ('a -> 'b) -> 'a Clist.clist -> 'b Clist.clist
-  val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b Clist.clist -> 'a
-  val iter : ('a -> unit) -> 'a Clist.clist -> unit
-  val rev : ('a -> 'a) -> 'a Clist.clist -> 'a Clist.clist
-  val docCList :
-    Pretty.doc -> ('a -> Pretty.doc) -> unit -> 'a Clist.clist -> Pretty.doc
-end \ No newline at end of file diff --git a/cil/doc/api/type_Dataflow.BackwardsDataFlow.html b/cil/doc/api/type_Dataflow.BackwardsDataFlow.html deleted file mode 100644 index 78ffeba3..00000000 --- a/cil/doc/api/type_Dataflow.BackwardsDataFlow.html +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.BackwardsDataFlow - - -functor (T : BackwardsTransfer) ->
-  sig val compute : Cil.stmt list -> unit end \ No newline at end of file diff --git a/cil/doc/api/type_Dataflow.BackwardsTransfer.html b/cil/doc/api/type_Dataflow.BackwardsTransfer.html deleted file mode 100644 index 763df748..00000000 --- a/cil/doc/api/type_Dataflow.BackwardsTransfer.html +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.BackwardsTransfer - - -sig
-  val name : string
-  val debug : bool Pervasives.ref
-  type t
-  val pretty : unit -> Dataflow.BackwardsTransfer.t -> Pretty.doc
-  val stmtStartData : Dataflow.BackwardsTransfer.t Inthash.t
-  val combineStmtStartData :
-    Cil.stmt ->
-    old:Dataflow.BackwardsTransfer.t ->
-    Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t option
-  val combineSuccessors :
-    Dataflow.BackwardsTransfer.t ->
-    Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t
-  val doStmt : Cil.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action
-  val doInstr :
-    Cil.instr ->
-    Dataflow.BackwardsTransfer.t ->
-    Dataflow.BackwardsTransfer.t Dataflow.action
-  val filterStmt : Cil.stmt -> Cil.stmt -> bool
-end \ No newline at end of file diff --git a/cil/doc/api/type_Dataflow.ForwardsDataFlow.html b/cil/doc/api/type_Dataflow.ForwardsDataFlow.html deleted file mode 100644 index a042cfce..00000000 --- a/cil/doc/api/type_Dataflow.ForwardsDataFlow.html +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.ForwardsDataFlow - - -functor (T : ForwardsTransfer) -> sig val compute : Cil.stmt list -> unit end \ No newline at end of file diff --git a/cil/doc/api/type_Dataflow.ForwardsTransfer.html b/cil/doc/api/type_Dataflow.ForwardsTransfer.html deleted file mode 100644 index 1e4d48b7..00000000 --- a/cil/doc/api/type_Dataflow.ForwardsTransfer.html +++ /dev/null @@ -1,51 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.ForwardsTransfer - - -sig
-  val name : string
-  val debug : bool Pervasives.ref
-  type t
-  val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-  val stmtStartData : Dataflow.ForwardsTransfer.t Inthash.t
-  val pretty : unit -> Dataflow.ForwardsTransfer.t -> Pretty.doc
-  val computeFirstPredecessor :
-    Cil.stmt -> Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-  val combinePredecessors :
-    Cil.stmt ->
-    old:Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
-  val doInstr :
-    Cil.instr ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.action
-  val doStmt :
-    Cil.stmt ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.stmtaction
-  val doGuard :
-    Cil.exp ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.guardaction
-  val filterStmt : Cil.stmt -> bool
-end \ No newline at end of file diff --git a/cil/doc/api/type_Dataflow.html b/cil/doc/api/type_Dataflow.html deleted file mode 100644 index fa034764..00000000 --- a/cil/doc/api/type_Dataflow.html +++ /dev/null @@ -1,85 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow - - -sig
-  type 'a action = Default | Done of 'a | Post of ('a -> 'a)
-  type 'a stmtaction = SDefault | SDone | SUse of 'a
-  type 'a guardaction = GDefault | GUse of 'a | GUnreachable
-  module type ForwardsTransfer =
-    sig
-      val name : string
-      val debug : bool Pervasives.ref
-      type t
-      val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-      val stmtStartData : Dataflow.ForwardsTransfer.t Inthash.t
-      val pretty : unit -> Dataflow.ForwardsTransfer.t -> Pretty.doc
-      val computeFirstPredecessor :
-        Cil.stmt ->
-        Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-      val combinePredecessors :
-        Cil.stmt ->
-        old:Dataflow.ForwardsTransfer.t ->
-        Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
-      val doInstr :
-        Cil.instr ->
-        Dataflow.ForwardsTransfer.t ->
-        Dataflow.ForwardsTransfer.t Dataflow.action
-      val doStmt :
-        Cil.stmt ->
-        Dataflow.ForwardsTransfer.t ->
-        Dataflow.ForwardsTransfer.t Dataflow.stmtaction
-      val doGuard :
-        Cil.exp ->
-        Dataflow.ForwardsTransfer.t ->
-        Dataflow.ForwardsTransfer.t Dataflow.guardaction
-      val filterStmt : Cil.stmt -> bool
-    end
-  module ForwardsDataFlow :
-    functor (T : ForwardsTransfer) ->
-      sig val compute : Cil.stmt list -> unit end
-  module type BackwardsTransfer =
-    sig
-      val name : string
-      val debug : bool Pervasives.ref
-      type t
-      val pretty : unit -> Dataflow.BackwardsTransfer.t -> Pretty.doc
-      val stmtStartData : Dataflow.BackwardsTransfer.t Inthash.t
-      val combineStmtStartData :
-        Cil.stmt ->
-        old:Dataflow.BackwardsTransfer.t ->
-        Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t option
-      val combineSuccessors :
-        Dataflow.BackwardsTransfer.t ->
-        Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t
-      val doStmt : Cil.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action
-      val doInstr :
-        Cil.instr ->
-        Dataflow.BackwardsTransfer.t ->
-        Dataflow.BackwardsTransfer.t Dataflow.action
-      val filterStmt : Cil.stmt -> Cil.stmt -> bool
-    end
-  module BackwardsDataFlow :
-    functor (T : BackwardsTransfer) ->
-      sig val compute : Cil.stmt list -> unit end
-end \ No newline at end of file diff --git a/cil/doc/api/type_Dominators.html b/cil/doc/api/type_Dominators.html deleted file mode 100644 index a9fef53e..00000000 --- a/cil/doc/api/type_Dominators.html +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dominators - - -sig
-  val computeIDom : Cil.fundec -> Cil.stmt option Inthash.t
-  val getIdom : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt option
-  val dominates : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt -> bool
-  val findNaturalLoops :
-    Cil.fundec ->
-    Cil.stmt option Inthash.t -> (Cil.stmt * Cil.stmt list) list
-end \ No newline at end of file diff --git a/cil/doc/api/type_Errormsg.html b/cil/doc/api/type_Errormsg.html deleted file mode 100644 index 3ad0a860..00000000 --- a/cil/doc/api/type_Errormsg.html +++ /dev/null @@ -1,64 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Errormsg - - -sig
-  val logChannel : Pervasives.out_channel Pervasives.ref
-  val debugFlag : bool Pervasives.ref
-  val verboseFlag : bool Pervasives.ref
-  val warnFlag : bool Pervasives.ref
-  exception Error
-  val error : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val bug : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val unimp : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val s : 'a -> 'b
-  val hadErrors : bool Pervasives.ref
-  val warn : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val warnOpt : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val log : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val logg : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val null : ('a, unit, Pretty.doc, unit) format4 -> 'a
-  val pushContext : (unit -> Pretty.doc) -> unit
-  val popContext : unit -> unit
-  val showContext : unit -> unit
-  val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b
-  val newline : unit -> unit
-  val newHline : unit -> unit
-  val getPosition : unit -> int * string * int
-  val getHPosition : unit -> int * string
-  val setHLine : int -> unit
-  val setHFile : string -> unit
-  val setCurrentLine : int -> unit
-  val setCurrentFile : string -> unit
-  type location = { file : string; line : int; hfile : string; hline : int; }
-  val d_loc : unit -> Errormsg.location -> Pretty.doc
-  val d_hloc : unit -> Errormsg.location -> Pretty.doc
-  val getLocation : unit -> Errormsg.location
-  val parse_error : string -> 'a
-  val locUnknown : Errormsg.location
-  val readingFromStdin : bool Pervasives.ref
-  val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
-  val startParsingFromString :
-    ?file:string -> ?line:int -> string -> Lexing.lexbuf
-  val finishParsing : unit -> unit
-end \ No newline at end of file diff --git a/cil/doc/api/type_Formatcil.html b/cil/doc/api/type_Formatcil.html deleted file mode 100644 index 7c5139b9..00000000 --- a/cil/doc/api/type_Formatcil.html +++ /dev/null @@ -1,45 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Formatcil - - -sig
-  val cExp : string -> (string * Cil.formatArg) list -> Cil.exp
-  val cLval : string -> (string * Cil.formatArg) list -> Cil.lval
-  val cType : string -> (string * Cil.formatArg) list -> Cil.typ
-  val cInstr :
-    string -> Cil.location -> (string * Cil.formatArg) list -> Cil.instr
-  val cStmt :
-    string ->
-    (string -> Cil.typ -> Cil.varinfo) ->
-    Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
-  val cStmts :
-    string ->
-    (string -> Cil.typ -> Cil.varinfo) ->
-    Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list
-  val dExp : string -> Cil.exp -> Cil.formatArg list option
-  val dLval : string -> Cil.lval -> Cil.formatArg list option
-  val dType : string -> Cil.typ -> Cil.formatArg list option
-  val dInstr : string -> Cil.instr -> Cil.formatArg list option
-  val noMemoize : bool Pervasives.ref
-  val test : unit -> unit
-end \ No newline at end of file diff --git a/cil/doc/api/type_Pretty.MakeMapPrinter.html b/cil/doc/api/type_Pretty.MakeMapPrinter.html deleted file mode 100644 index 0b9d35ee..00000000 --- a/cil/doc/api/type_Pretty.MakeMapPrinter.html +++ /dev/null @@ -1,42 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty.MakeMapPrinter - - -functor
-  (Map : sig
-           type key
-           type 'a t
-           val fold :
-             (Pretty.MakeMapPrinter.key -> 'a -> 'b -> 'b) ->
-             'a Pretty.MakeMapPrinter.t -> 'b -> 'b
-         end) ->
-  sig
-    val docMap :
-      ?sep:Pretty.doc ->
-      (Map.key -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-    val d_map :
-      ?dmaplet:(Pretty.doc -> Pretty.doc -> Pretty.doc) ->
-      string ->
-      (unit -> Map.key -> Pretty.doc) ->
-      (unit -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-  end \ No newline at end of file diff --git a/cil/doc/api/type_Pretty.MakeSetPrinter.html b/cil/doc/api/type_Pretty.MakeSetPrinter.html deleted file mode 100644 index c5e04661..00000000 --- a/cil/doc/api/type_Pretty.MakeSetPrinter.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty.MakeSetPrinter - - -functor
-  (Set : sig
-           type elt
-           type t
-           val fold :
-             (Pretty.MakeSetPrinter.elt -> 'a -> 'a) ->
-             Pretty.MakeSetPrinter.t -> 'a -> 'a
-         end) ->
-  sig
-    val docSet :
-      ?sep:Pretty.doc ->
-      (Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-    val d_set :
-      string ->
-      (unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-  end \ No newline at end of file diff --git a/cil/doc/api/type_Pretty.html b/cil/doc/api/type_Pretty.html deleted file mode 100644 index fc70f65b..00000000 --- a/cil/doc/api/type_Pretty.html +++ /dev/null @@ -1,111 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty - - -sig
-  type doc
-  val nil : Pretty.doc
-  val ( ++ ) : Pretty.doc -> Pretty.doc -> Pretty.doc
-  val concat : Pretty.doc -> Pretty.doc -> Pretty.doc
-  val text : string -> Pretty.doc
-  val num : int -> Pretty.doc
-  val real : float -> Pretty.doc
-  val chr : char -> Pretty.doc
-  val line : Pretty.doc
-  val leftflush : Pretty.doc
-  val break : Pretty.doc
-  val align : Pretty.doc
-  val unalign : Pretty.doc
-  val mark : Pretty.doc
-  val unmark : Pretty.doc
-  val indent : int -> Pretty.doc -> Pretty.doc
-  val markup : Pretty.doc -> Pretty.doc
-  val seq :
-    sep:Pretty.doc ->
-    doit:('a -> Pretty.doc) -> elements:'a list -> Pretty.doc
-  val docList :
-    ?sep:Pretty.doc -> ('a -> Pretty.doc) -> unit -> 'a list -> Pretty.doc
-  val d_list :
-    string -> (unit -> 'a -> Pretty.doc) -> unit -> 'a list -> Pretty.doc
-  val docArray :
-    ?sep:Pretty.doc ->
-    (int -> 'a -> Pretty.doc) -> unit -> 'a array -> Pretty.doc
-  val docOpt : ('a -> Pretty.doc) -> unit -> 'a option -> Pretty.doc
-  val d_int32 : int32 -> Pretty.doc
-  val f_int32 : unit -> int32 -> Pretty.doc
-  val d_int64 : int64 -> Pretty.doc
-  val f_int64 : unit -> int64 -> Pretty.doc
-  module MakeMapPrinter :
-    functor
-      (Map : sig
-               type key
-               type 'a t
-               val fold :
-                 (Pretty.MakeMapPrinter.key -> 'a -> 'b -> 'b) ->
-                 'a Pretty.MakeMapPrinter.t -> 'b -> 'b
-             end) ->
-      sig
-        val docMap :
-          ?sep:Pretty.doc ->
-          (Map.key -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-        val d_map :
-          ?dmaplet:(Pretty.doc -> Pretty.doc -> Pretty.doc) ->
-          string ->
-          (unit -> Map.key -> Pretty.doc) ->
-          (unit -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
-      end
-  module MakeSetPrinter :
-    functor
-      (Set : sig
-               type elt
-               type t
-               val fold :
-                 (Pretty.MakeSetPrinter.elt -> 'a -> 'a) ->
-                 Pretty.MakeSetPrinter.t -> 'a -> 'a
-             end) ->
-      sig
-        val docSet :
-          ?sep:Pretty.doc ->
-          (Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-        val d_set :
-          string ->
-          (unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-      end
-  val insert : unit -> Pretty.doc -> Pretty.doc
-  val dprintf : ('a, unit, Pretty.doc, Pretty.doc) format4 -> 'a
-  val gprintf :
-    (Pretty.doc -> 'a) -> ('b, unit, Pretty.doc, 'a) format4 -> 'b
-  val fprint : Pervasives.out_channel -> width:int -> Pretty.doc -> unit
-  val sprint : width:int -> Pretty.doc -> string
-  val fprintf :
-    Pervasives.out_channel -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
-  val printf : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-  val eprintf : ('a, unit, Pretty.doc) Pervasives.format -> 'a
-  val withPrintDepth : int -> (unit -> unit) -> unit
-  val printDepth : int Pervasives.ref
-  val printIndent : bool Pervasives.ref
-  val fastMode : bool Pervasives.ref
-  val flushOften : bool Pervasives.ref
-  val countNewLines : int Pervasives.ref
-  val auto_printer : string -> 'a
-end \ No newline at end of file diff --git a/cil/doc/api/type_Stats.html b/cil/doc/api/type_Stats.html deleted file mode 100644 index 77cd2181..00000000 --- a/cil/doc/api/type_Stats.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Stats - - -sig
-  val reset : bool -> unit
-  exception NoPerfCount
-  val has_performance_counters : unit -> bool
-  val sample_pentium_perfcount_20 : unit -> int
-  val sample_pentium_perfcount_10 : unit -> int
-  val time : string -> ('a -> 'b) -> 'a -> 'b
-  val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b
-  val print : Pervasives.out_channel -> string -> unit
-  val lastTime : float Pervasives.ref
-  val timethis : ('a -> 'b) -> 'a -> 'b
-end \ No newline at end of file -- cgit