Index of values

Concatenates two documents.

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.

Return all statements in a file - valid after computeFileCfg only

Append two clists

Obtain the argument list ([] if None)

This table contains the mapping of predefined attributes to classes.

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

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 Errormsg.bug except that Cil.currentLoc is also printed

A list of the built-in functions for the current compiler (GCC or MSVC, depending on !msvcMode).

This is used as the location of the prototypes of builtin functions.

The size in bytes of the given int kind.

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.

Fold every CaseRange in a list of labels into the corresponding list of Case labels.

Compute a control flow graph for fd.

char const *

Given the character c in a (CChr c), sign-extend it to 32 bits.

char *

char

Whether "char" is unsigned.

A useful check to assert before an append.

Return a list of statements dominated by the argument

A document that prints a character.

These are the CIL version numbers.

Convert a cilint int to an OCaml int, or raise an exception if that can't be done.

clear the sid, succs, and preds fields of each statment in a function

clear the sid, succs, and preds fields of each statement.

Set to true if you want error and warning messages to be colored

Take some old data for the start of a statement, and some new data for the same point.

When the analysis reaches the start of a block, combine the old data with the one we have just computed.

Take the data from two successors and combine it

Return the common integer kind of the two integer arguments, as defined in ISO C 6.3.1.8 ("Usual arithmetic conversions")

Get the full name of a comp

Try to compress statements so as to get maximal basic blocks.

Comparison function for locations.

Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow).

Fill in the T.stmtStartData, given a number of initial statements to start from.

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

returns the IDoms and a map from statement ids to the set of statements that are dominated

Compute the CFG for an entire file, by calling cfgFun on each function.

Give the first value for a predecessors, compute the value to be set for the block

Invoke on a code after filling in the CFG info and it computes the immediate dominator information.

Do constant folding on an expression.

Do constant folding on a binary operation.

A visitor that does constant folding.

Make a deep copy of the data

Makes a shallow copy of a 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

Flag to indicate whether or not to count the number of calls of to Stats.repeattime or Stats.time for each label.

Keep a running count of the taken newlines.

A reference to the current global being visited

A reference to the current location.

Deconstructs an expression based on the program.

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

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

Deconstructs an instruction based on the program.

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

Deconstructs an lval based on the program.

Deconstructs a type based on the program.

Pretty-print an attribute using Cil.defaultCilPrinter

Pretty-print a list of attributes using Cil.defaultCilPrinter

Pretty-print an argument of an attribute using Cil.defaultCilPrinter

Pretty-print a binary operator

Pretty-print a block using Cil.defaultCilPrinter.

Pretty-print a constant

Pretty-print an expression using Cil.defaultCilPrinter

Pretty-print a floating-point kind

Pretty-prints a format arg

Pretty-print the internal representation of a global using Cil.defaultCilPrinter.

Pretty-print an integer of a given kind

Pretty-print an initializer using Cil.defaultCilPrinter.

Pretty-print an instruction using Cil.defaultCilPrinter

Print an int32

Pretty-print a label using Cil.defaultCilPrinter

sm: Yet another list printer.

Pretty-print a location

Pretty-print an lvalue using Cil.defaultCilPrinter

Format a map, analogous to d_list.

Pretty-print an offset using Cil.defaultCilPrinter, given the pretty printing for the base.

Pretty-print the internal representation of an expression

Pretty-print the internal representation of an integer

Pretty-print the internal representation of an lvalue

Pretty-print the internal representation of a type

Format a set, analogous to d_list.

Pretty-print a short description of the global.

Pretty-print a statement using Cil.defaultCilPrinter.

Pretty-print storage-class information

Pretty-print the Cil.currentLoc

Pretty-print a type using Cil.defaultCilPrinter

Print a type signature

Pretty-print a unary operator

Pretty-print an expression while printing descriptions rather than names of temporaries.

Whether to turn on debugging

Whether to turn on debugging

If set then print debugging info

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

Generate the successor to an If statement assuming the given expression is nonzero.

The (backwards) transfer function for an instruction.

The (forwards) transfer function for an instruction.

The (backwards) transfer function for a branch.

The (forwards) transfer function for a statement.

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.

Format a map, analogous to docList.

Prints an 'a option with None or Some

Format a set, analogous to docList.

Iterate over a dominator tree

Check whether one statement dominates another.

double

This function provides an alternative method for constructing doc objects.

Remove all attributes with the given name.

Remove all attributes with names appearing in the string list.

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.

Pretty-print an entire file.

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

return true if the first is a suffix of the second string

Machine model specified via CIL_MACHINE environment variable

Like Pretty.fprintf applied to stderr

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

Like Errormsg.error except that Cil.currentLoc is also printed

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

Scans a type by applying the function on all elements.

Convert an expression into an attrparam, if possible.

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

Retains attributes with the given name

Whether to put this predecessor block in the worklist.

Whether to put this statement in the worklist.

Compute the start of the natural loops.

Find a function or function prototype with the given name in the file.

Returns (all_stmts, sink_stmts), where all_stmts is a list of the statements in a function, and sink_stmts is a list of the return statments (including statements that fall through the end of a void function).

True if the integer fits within the kind's range

Whether to rebalance doc before printing it to avoid stack-overflows

The float kind for a given size.

If true the it flushes after every print

Fold over all globals, including the global initializer

Fold over the list of initializers in a Compound (not also the nested ones).

A version of fold_left that works on clists

Return the string 's' if we're printing output for gcc, suppres it if we're printing for CIL to parse back in.

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

Like Pretty.dprintf followed by Pretty.fprint

Convert an ordinary list to a clist

The data at function exit.

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

This is like Inthash.find but gives an error if the information is Not_found

If the given expression is an integer constant or a CastE'd integer constant, return that constant's value.

Parentheses level.

Return the location of a global, or locUnknown

Return the location of an instruction

Return the location of a statement, or locUnknown

Like Pretty.dprintf but more general.

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

True if the named attribute appears in the attribute list.

Convert a 64-bit int to an OCaml int, or raise an exception if that can't be done.

Increment an expression.

Indents the document.

Call this function to perform some initialization.

A function that is useful with the printf-like interface

Do insert implicit casts (default true)

The signed integer kind for a given size (unsigned if second argument is true).

Return the smallest kind that will hold the integer's value.

int *

Return the integer conversion rank of an integer kind

int

Construct an integer of kind IInt.

An empty statement.

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 given offset contains only field nanmes or constant indices.

True if the argument is a function type

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

True if the argument is a pointer type

True if the argument is a scalar type

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

is the given type "void *"?

is the given type "void"?

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

A version of iter that works on clists

Iterate over all globals, including the global initializer

The integer kind of Cil.typeOfSizeOf.

Construct an integer of a given kind.

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

Construct an integer of a given kind, from a cilint.

Use after a Pretty.line to prevent the indentation.

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

Find the length of a clist

A document that consists of a mandatory newline.

How to print line directives

The length used when wrapping output lines.

Whether the machine is little endian.

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

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

same as Errormsg.log but do not wrap lines

long

Return the cumulative time of all calls to Stats.time and Stats.repeattime with the given label.

Do lower constants (default true)

Replace enumeration constants with integer constants

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).

Whether to convert local static variables into global static variables

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.

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 Cil.mkCastT but uses typeOf to get oldt

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

Construct a cilint from an integer kind and int64 value.

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.

-1

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

For debugging purposes, the name of the analysis

For debugging purposes, the name of the analysis

Create a new name based on a given name.

Generate a new variable ID.

Constructs an empty document

If set then will not memoize the parsed patterns

Do not actually print (i.e.

A document that prints an integer in decimal form

A document that prints a 64-bit int in decimal form

Set this to true to get old-style handling of gcc's extern inline C extension: old-style: the extern inline definition is used until the actual definition is seen (as long as optimization is enabled) new-style: the extern inline definition is used only if there is no actual definition (as long as optimization is enabled) Note that CIL assumes that optimization is always enabled ;-)

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 instruction, not two

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

Removes the last registered context printing function

Prepare a function for CFG information computation by Cil.computeCFGInfo.

Pretty-print the state

Pretty-print the state

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.

print control flow graph (in dot form) for fundec to channel

Print control flow graph (in dot form) for fundec to file

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.

zra: This is the pretty printer that Maincil will use.

Like Pretty.fprintf applied to stdout

An unsigned integer type that fits pointer difference.

Registers a context printing function

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

Records whether the stdin is open for reading the goal *

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

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 and specifies the method to use for future timings.

Reverse a clist.

Stop the execution by raising an Error.

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

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

Separate out the storage-modifier name attributes

Formats a sequence.

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.

Set the type of the function and make formal arguments for them

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

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

Show the context stack to stderr

Give the signed kind corresponding to any integer kind

Create a clist containing one element

The size of a type, in bytes.

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

Same as Cil.splitFunctionType but takes a varinfo.

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

Next statement id that will be assigned.

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

For each block id, the data at the start.

For each statement id, the data at the start.

Removes casts from this expression, but ignores casts within other expression constructs.

If string has leading and trailing __, strip them.

Just a testing function

A document that prints the given string

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

Time a function and set lastTime to the time it took

Convert a clist to an ordinary list

Represents an integer as for a given kind.

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

An unsigned integer type that is the type of sizeof.

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 Cil.typeSig but customize the incorporation of attributes.

unsigned int *

unsigned int

unsigned long

Reverts to the last saved indentation level.

Whether the compiler generates assembly labels by prepending "_" to the identifier.

Undo the changes to a table

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

Like Errormsg.unimp except that Cil.currentLocis also printed

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.

Give the unsigned kind corresponding to any integer kind

An unsigned integer type that fits pointers.

Whether to expand ranges of values in case statements.

Whether to use GCC's computed gotos.

Whether to use the logical operands LAnd and LOr.

Makes an lvalue out of a given variable

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, pass also the variable to which this belongs and the offset.

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

void *

void

Like Errormsg.error but does not raise the Errormsg.Error exception.

Like Errormsg.warn except that Cil.currentLoc is also printed

Like Errormsg.warn except that Cil.currentLoc and context is also printed

Like Errormsg.warn except that Cil.currentLoc and context is also printed.

Set to true if you want to see all warnings.

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

Like Errormsg.warn but optional.

Like Errormsg.warnOpt except that Cil.currentLoc is also printed.

Emit warnings when truncating integer constants (default true)

wchar_t (depends on architecture) and is set when you call 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