Index of values

Concatenates two documents.

reverse application

Add an attribute.

Add a list of attributes.

addOffset o1 o2 adds o1 to the end of o2.

Add an offset at the end of an lvalue.

Mark the current column as the current indentation level.

The minimum alignment (in bytes) for a type.

Append two clists

Obtain the argument list ([] if None)

This table contains the mapping of predefined attributes to classes.

synonym for Buffer.add_string

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.

The size of a type, in bits.

A document that consists of either a space or a line break.

Similar to error except that its output has the form Bug: ...

Like Flx_cil_errormsg.bug except that Flx_cil_cil.currentLoc is also printed

Constructs an expression based on the program and the list of arguments.

Constructs an instruction based on the program and the list of arguments.

Constructs an lval based on the program and the list of arguments.

Constructs a list of statements

Constructs a type based on the program and the list of arguments.

synonym for String.concat

convert exception to option

String.concat sep (map fun lst)

char const *

char *

char

Whether "char" is unsigned.

A useful check to assert before an append.

check for bad recursions

A document that prints a character.

mangle a Felix identifier to a C one

This are the CIL version numbers.

Discard all elements from a stack.

Clear all configuration data

Get the full name of a comp

Try to compress statements so as to get maximal basic blocks

Comparison function for locations.

compare type for structural/unificational ordering

Compute the CFG information for all statements in a fundec and return a * list of the statements.

Do constant folding on an expression.

Do constant folding on a binary operation.

Return a copy of the given stack.

Makes a shallow copy of a Flx_cil_cil.compinfo changing the name and the key.

Create a deep copy of a function.

Make a shallow copy of a varinfo and assign a new identifier

Keep a running count of the taken newlines.

A reference to the current location.

Deconstructs an expression based on the program.

Generate an Flx_cil_cil.exp to be used in case of errors.

Generate a Flx_cil_cil.global to be used in case of errors.

Deconstructs an instruction based on the program.

Generate an Flx_cil_cil.instr to be used in case of errors.

Deconstructs an lval based on the program.

Deconstructs a type based on the program.

Flx_cil_pretty-print an attribute using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print a list of attributes using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print an argument of an attribute using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print a binary operator

Flx_cil_pretty-print a block using Flx_cil_cil.defaultCilPrinter.

Flx_cil_pretty-print a constant

Flx_cil_pretty-print an expression using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print a floating-point kind

Flx_cil_pretty-prints a format arg

Flx_cil_pretty-print the internal representation of a global using * Flx_cil_cil.defaultCilPrinter.

Flx_cil_pretty-print an integer of a given kind

Flx_cil_pretty-print an initializer using Flx_cil_cil.defaultCilPrinter.

Flx_cil_pretty-print an instruction using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print a label using Flx_cil_cil.defaultCilPrinter

sm: Yet another list printer.

Flx_cil_pretty-print a location

Flx_cil_pretty-print an lvalue using Flx_cil_cil.defaultCilPrinter

Flx_cil_pretty-print an offset using Flx_cil_cil.defaultCilPrinter, given the pretty * printing for the base.

Flx_cil_pretty-print the internal representation of an expression

Flx_cil_pretty-print the internal representation of an integer

Flx_cil_pretty-print the internal representation of an lvalue

Flx_cil_pretty-print the internal representation of a type

Flx_cil_pretty-print a short description of the global.

Flx_cil_pretty-print a statement using Flx_cil_cil.defaultCilPrinter.

Flx_cil_pretty-print storage-class information

Flx_cil_pretty-print the Flx_cil_cil.currentLoc

Flx_cil_pretty-print a type using Flx_cil_cil.defaultCilPrinter

Print a type signature

If set then print debugging info

Versions of the above pretty printers, that don't print #line directives

check if the two types unify: update the variable definitions in sym_state ??? Only useful if type variables are global, which is the function return type unknown variable case..

Split the name in preparation for newAlphaName.

Formats an array.

A document for printing a clist (similar to docList)

An alternative function for printing a list.

Prints an 'a option with None or Some

double

This function provides an alternative method for constructing doc objects.

Remove all attributes with the given name.

construct the dual of a type

A dummy file

A dummy function declaration handy when you need one as a placeholder.

A instr to serve as a placeholder

A statement consisting of just dummyInstr

Dump a block to a file using a given indentation.

Flx_cil_pretty-print an entire file.

Flx_cil_pretty-print a global.

Dump an initializer to a file using a given indentation.

Dump a statement to a file using a given indentation.

The empty clist

Make an empty function

Like Flx_cil_pretty.fprintf applied to stderr

Prints an error message of the form Error: ....

Like Flx_cil_errormsg.error except that Flx_cil_cil.currentLoc is also printed

Like Flx_cil_cil.error except that it explicitly takes a location argument, * instead of using the Flx_cil_cil.currentLoc

escape various constructs in accordance with C lexical rules

Scans a type by applying the function on all elements.

expand_expr is a special hook used to perform constant folding and desugaring in the preprocessor

If set to true then optional breaks are taken only when the document has exceeded the given width.

Retains attributes with the given name

Find a configuration elements, given a key.

Like findConfiguration but extracts the integer

Just another name for memoize

fixpoint combinator

If true the it flushes after every print

undo an unfold

Fold over all globals, including the global initializer

Fold over the list of initializers in a Compound.

Fold over the list of initializers in a Compound, like * Flx_cil_cil.foldLeftCompound but in the case of an array it scans even missing * zero initializers at the end of the array

* An accumulating for loop.

A version of fold_left that works on clists

Format the document to the given width and emit it to the given channel

Like Flx_cil_pretty.dprintf followed by Flx_cil_pretty.fprint

Convert an ordinary list to a clist

A list of the GCC built-in functions.

Return a named fieldinfo in compinfo, or raise Not_found

Get the global initializer and create one if it does not already exist.

high-level position

Return the location of a global, or locUnknown

Return the location of an instruction

Return the location of a statement, or locUnknown

Like Flx_cil_pretty.dprintf but more general.

Fold left over the initialized elements of the array

Iterate over the initialized elements of the array

This is set whenever one of the above error functions are called.

True if the named attribute appears in the attribute list.

hasPrefix prefix str returns true with str starts with prefix

Flx_cil_check if we have performance counters

Copy a hash table into another

make a hashtable from an assoc list

Increment an expression.

Indents the document.

Call this function to perform some initialization.

A function that is useful with the printf-like interface

int *

int

Construct an integer of kind IInt.

True if the argument is an arithmetic type (i.e.

True if the argument is an array type

Returns true if this is a complete type.

True if the expression is a compile-time constant

True if the argument is a function type

True if the given expression is a (possibly cast'ed) character or an integer constant

True if the argument is an integral type (i.e.

True if the argument is a pointer type

Returns true if and only if the given integer type is signed.

True if the given expression is a (possibly cast'ed) integer or character constant with value zero

Return true if the given stack is empty, false otherwise.

test if option not None

iter f s applies f in turn to all elements of s, from the element at the top of the stack to the element at the bottom of the stack.

A version of iter that works on clists

Iterate over all globals, including the global initializer

Construct an integer of a given kind.

Construct an integer of a given kind, using OCaml's int64 type.

Use after a Flx_cil_pretty.line to prevent the indentation.

Call to compute the array length as present in the array type, to an * integer.

Return the number of elements in a stack.

Find the length of a clist

A document that consists of a mandatory newline.

How to print line directives

Like fold_left but pass the index into the list as well

position in list of value

Iterate over a list passing the index as you go

last element of list

forward order map

first n elements of a list

replace variables in the term using the mapping in a list

Whether the machine is little endian.

Read a Flx_cil_cil.file in binary form from the filesystem.

Load the configuration from a file

An unknown location for use when you need one but you don't have one

Represents a location that cannot be determined

Print something to logChannel

A channel for printing log messages

long

lstrip t returns t all lvalue combinators elided

Make a formal variable for a function.

Make a global variable.

Make a local variable and add it to a function's slocals (only if insert = true, which is the default).

Make a temporary variable and add it to a function's slocals.

Make a varinfo.

Make a initializer for zero-ing a data type

Map a function over a clist.

Map over all globals, including the global initializer and change things in place

Like map but try not to make a copy of the list

Like map but each call can return a list.

Mark the beginning of a markup section.

Prints a document as markup.

obtain the mgu of a set of type equations, for matching parameters against arguments: allows special subtyping for lvalues

obtain the mgu of a set of type equations

Merge a number of CIL files

This is a constant used as the name of an unnamed bitfield.

Make an AddrOf.

Like mkAddrOf except if the type of lval is an array then it uses StartOf.

Construct a block with no attributes, given a list of statements

Like Flx_cil_cil.mkCastT but uses typeOf to get oldt

Construct a cast when having the old type of the expression.

Creates a a (potentially recursive) composite type.

Returns an empty statement (of kind Instr)

Make a for loop for(start; guard; next) { ...

Make a for loop for(i=start; i<past; i += incr) { ...

Make a Mem, while optimizing AddrOf.

Construct a statement, given its kind.

Construct a statement consisting of just one instruction

Make an expression that is a string constant (of pointer type)

Make a while loop.

make a varmap using vs and ts list

-1

A list of the MSVC built-in functions.

Whether the pretty printer should print output for the MS VC compiler.

Create a new name based on a given name.

newGrowArray initsz fillhow

Constructs an empty document

list of n integers 0 to n-1

If set then will not memoize the parsed patterns

normalise returns count of the type variables occuring in a type, and the type rewritten so the type variables are systematically numbered from 0 - n-1

Do not actually print (i.e.

A document that prints an integer in decimal form

1

Convert a string representing a C integer literal to an expression.

Partition the attributes into classes:name attributes, function type, and type attributes

Similar to peepHole2 except that the optimization window consists of one statement, not two

A peephole optimizer that processes two adjacent statements and possibly replaces them both.

pop s removes and returns the topmost element in stack s, or raises Empty if the stack is empty.

Removes the last registered context printing function

Prepare a function for CFG information computation by * Flx_cil_cil.computeCFGInfo.

Print the current stats preceeded by a message

Print an attribute given a pretty printer

Print a set of attributes given a pretty printer

Print a block given a pretty printer.

Whether to print the CIL as they are, without trying to be smart and * print nicer code.

Specifies the nesting depth of the align/unalign pairs at which everything is replaced with ellipsis

Print an expression given a pretty printer

Print a global given a pretty printer

If false then does not indent

Print an initializer given a pretty printer.

Print an instruction given a pretty printer

Print an lvalue given a pretty printer

Print a statement given a pretty printer.

Print a type given a pretty printer

Whether we print something that will only be used as input to our own * parser.

Like Flx_cil_pretty.fprintf applied to stdout

push x s adds the element x at the top of stack s.

Registers a context printing function

CIL keeps the types at the beginning of the file and the variables at the * end of the file.

A document that prints a real number

Register a name with an alpha conversion table to ensure that when later * we call newAlphaName we do not end up generating this one

Register a symbol name and get the symbol for it

Register a number of consecutive symbol ids.

Remove ONE offset from the end of an offset sequence.

Remove ONE offset from the end of an lvalue.

repeattime is like time but runs the function several times until the total running time is greater or equal to the first argument.

Resets all the timings.

Given an array, produce a thunk that later restores it to its current value

Given a hash table, produce a thunk that later restores it to its current value

Given a ref cell, produce a thunk that later restores it to its current value

Reverse a clist

Given a list of thunks, produce a thunk that runs them all

Stop the execution by raising an Error.

Write a Flx_cil_cil.file in binary form to the filesystem.

Write a Flx_cil_cil.file in binary form to the filesystem.

Save the configuration in a file.

Formats a sequence.

Set a configuration element, with a key.

Update the formals of a fundec and make sure that the function type has the same information.

Set the types of arguments and results as given by the function type * passed as the second argument.

Update the smaxid after you have populated with locals and formals * (unless you constructed those using Flx_cil_cil.makeLocalVar or * Flx_cil_cil.makeTempVar.

Replace the attributes of a signature (only at top level)

Show the context stack to stderr

synonym for string_of_int

Create a clist containing one element

n spaces

Given a function type split it into return type, * arguments, is_vararg and attributes.

Format the document to the given width and emit it as a string

sm: return true if the first is a prefix of the second string

Get the name of a symbol

terminate the top level program in case of error

Just a testing function

A document that prints the given string

Time a function and associate the time with the given string.

Convert a clist to an ordinary list

top s returns the topmost element in stack s, or raises Empty if the stack is empty.

hmmm

replace variables using vs and ts list to determine mapping

Add some attributes to a type

Returns all the attributes contained in a type.

Compute the type of an expression

Compute the type of an lvalue

Compute the type of an offset from a base type

Remove all attributes with the given names from a type.

Compute a type signature

Get the top-level attributes of a signature

Like Flx_cil_cil.typeSig but customize the incorporation of attributes

compare for iso-equality

compare parameter with argument type, argument may have extra lvalue in it

unsigned int *

unsigned int

unsigned long

Reverts to the last saved indentation level.

Undo the changes to a table

unfold t returns t with each fix variable denoting t replaced with t

obtain the mgu of a set of type equations with specified dependent variable set, throws Not_found if cannot unify

test if two types unify

Similar to error except that its output has the form Unimplemented: ...

Like Flx_cil_errormsg.unimp except that Flx_cil_cil.currentLocis also printed

add elements to unique list

make a list of unique elements

Assign unique names to local variables.

The end of a markup section

Unroll a type until it exposes a non * TNamed.

Unroll all the TNamed in a type (even under type constructors such as * TPtr, TFun or TArray.

Looks for an integer configuration element, and if it is found, it uses * the given function.

Whether to use the logical operands LAnd and LOr.

Get the value of an option.

Makes an lvalue out of a given variable

check for a particular variable

check for variables

check for variables

replace variables in the term using the mapping in the hashtable

Visit a list of attributes

Visit a block

Visit a file.

A visitor for the whole file that does not change the globals (but maybe * changes things inside the globals).

Visit a function definition

Visit a global

Visit an initializer

Visit an initializer offset

Visit an instruction

Visit an lvalue

Visit an lvalue or recursive offset

Visit a statement

Visit a type

Visit a variable declaration

Visits a decl_type.

Set by the visitor to the current location

void *

void

Like Flx_cil_errormsg.error but does not raise the Flx_cil_errormsg.Error * exception.

Like Flx_cil_errormsg.warn except that Flx_cil_cil.currentLoc is also printed

Like Flx_cil_errormsg.warn except that Flx_cil_cil.currentLoc and context is also printed

Like Flx_cil_errormsg.warn except that Flx_cil_cil.currentLoc and context is also * printed.

Set to true if you want to see all warnings.

Like Flx_cil_cil.warn except that it explicitly takes a location argument, * instead of using the Flx_cil_cil.currentLoc

Like Flx_cil_errormsg.warn but optional.

Like Flx_cil_errormsg.warnOpt except that Flx_cil_cil.currentLoc is also printed.

wchar_t (depends on architecture) and is set when you call * Flx_cil_cil.initCIL.

To ensure that the context is registered and removed properly, use the function below

Invokes a thunk, with printDepth temporarily set to the specified value

0