Index of values


(++) [Flx_cil_pretty]
Concatenates two documents.
(+>) [Flx_util]
reverse application
__thread_is_keyword [Flx_cil_machdep]

A
add [Flx_cil_inthash]
addAttribute [Flx_cil_cil]
Add an attribute.
addAttributes [Flx_cil_cil]
Add a list of attributes.
addOffset [Flx_cil_cil]
addOffset o1 o2 adds o1 to the end of o2.
addOffsetLval [Flx_cil_cil]
Add an offset at the end of an lvalue.
add_child [Flx_child]
add_identifier [Flx_cil_lexerhack]
add_identifier [Flx_cil_clexer]
add_type [Flx_cil_lexerhack]
add_type [Flx_cil_clexer]
addline [Flx_cil_cprint]
adjust_ts [Flx_generic]
align [Flx_cil_pretty]
Mark the current column as the current indentation level.
alignOf_int [Flx_cil_cil]
The minimum alignment (in bytes) for a type.
all_chars [Inria_cset]
all_chars_eof [Inria_cset]
all_units [Flx_typing]
all_units0 [Flx_typing]
all_voids [Flx_typing]
allowDuplication [Flx_cil_cabs2cil]
anticompare [Flx_cil_util]
append [Flx_dlst]
append [Flx_cil_clist]
Append two clists
applyFlx_cil_patch [Flx_cil_patch]
args [Flx_cil_frontc]
argsToList [Flx_cil_cil]
Obtain the argument list ([] if None)
attributeHash [Flx_cil_cil]
This table contains the mapping of predefined attributes to classes.

B
bbind [Flx_bbind]
bcat [Flx_util]
synonym for Buffer.add_string
beta_reduce [Flx_beta]
bin_char2int [Flx_string]
binbig_int_of_string [Flx_string]
bind_exes [Flx_bexe]
bind_expression [Flx_lookup]
bind_ifaces [Flx_bbind]
bind_regdef [Flx_lookup]
bind_type [Flx_lookup]
binint_of_string [Flx_string]
bitsOffset [Flx_cil_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 [Flx_cil_cil]
The size of a type, in bits.
bracket_directive [Flx_preproc]
break [Flx_cil_pretty]
A document that consists of either a space or a line break.
bug [Flx_cil_errormsg]
Similar to error except that its output has the form Bug: ...
bug [Flx_cil_cil]
Like Flx_cil_errormsg.bug except that Flx_cil_cil.currentLoc is also printed
build_env [Flx_lookup]
build_tables [Flx_symtab]
build_type_constraints [Flx_tconstraint]

C
cExp [Flx_cil_formatcil]
Constructs an expression based on the program and the list of arguments.
cInstr [Flx_cil_formatcil]
Constructs an instruction based on the program and the list of arguments.
cLval [Flx_cil_formatcil]
Constructs an lval based on the program and the list of arguments.
cStmt [Flx_cil_formatcil]
cStmts [Flx_cil_formatcil]
Constructs a list of statements
cType [Flx_cil_formatcil]
Constructs a type based on the program and the list of arguments.
c_quote_of_string [Flx_string]
cabslu [Flx_cil_cprint]
cabslu [Flx_cil_cabs_helper]
cal_children [Flx_bbind]
cal_display [Flx_display]
cal_exe_usage [Flx_call]
cal_param_usage [Flx_call]
call_data [Flx_call]
cat [Flx_util]
synonym for String.concat
catch [Flx_exceptions]
catch_all [Flx_util]
convert exception to option
catmap [Flx_util]
String.concat sep (map fun lst)
ce [Flx_cexpr]
ce_array [Flx_cexpr]
ce_atom [Flx_cexpr]
ce_call [Flx_cexpr]
ce_cast [Flx_cexpr]
ce_cond [Flx_cexpr]
ce_dot [Flx_cexpr]
ce_expr [Flx_cexpr]
ce_infix [Flx_cexpr]
ce_new [Flx_cexpr]
ce_postfix [Flx_cexpr]
ce_prefix [Flx_cexpr]
ce_top [Flx_cexpr]
chain_gotos [Flx_cflow]
charConstPtrType [Flx_cil_cil]
char const *
charPtrType [Flx_cil_cil]
char *
charType [Flx_cil_cil]
char
char_is_unsigned [Flx_cil_cil]
Whether "char" is unsigned.
charset_inv [Flx_charset]
charset_of_int_range [Flx_charset]
charset_of_range [Flx_charset]
charset_of_string [Flx_charset]
charset_union [Flx_charset]
checkBeforeAppend [Flx_cil_clist]
A useful check to assert before an append.
checkFile [Flx_cil_check]
check_key [Flx_getopt]
check_key_value [Flx_getopt]
check_keys [Flx_getopt]
check_recursion [Flx_unify]
check for bad recursions
child_use_closure [Flx_call]
chr [Flx_cil_pretty]
A document that prints a character.
cid_of_flxid [Flx_name]
mangle a Felix identifier to a C one
cilVersion [Flx_cil_cilversion]
cilVersion [Flx_cil_cil]
This are the CIL version numbers.
cilVersionMajor [Flx_cil_cilversion]
cilVersionMajor [Flx_cil_cil]
cilVersionMinor [Flx_cil_cilversion]
cilVersionMinor [Flx_cil_cil]
cilVersionRev [Flx_cil_cilversion]
cilVersionRevision [Flx_cil_cil]
clear [Flx_cil_util.STACK]
Discard all elements from a stack.
clear [Flx_cil_inthash]
clearConfiguration [Flx_cil_util]
Clear all configuration data
clierr [Flx_exceptions]
clierr2 [Flx_exceptions]
clierrn [Flx_exceptions]
cmp_literal [Flx_typing]
cmp_tbexpr [Flx_typing]
comment [Flx_cil_formatlex]
commit [Flx_cil_cprint]
compFullName [Flx_cil_cil]
Get the full name of a comp
compactStmts [Flx_cil_cil]
Try to compress statements so as to get maximal basic blocks
compareLoc [Flx_cil_cil]
Comparison function for locations.
compare_sigs [Flx_unify]
compare type for structural/unificational ordering
compilation_unit [Flx_parse]
complement [Inria_cset]
comprint [Flx_cil_cprint]
computeCFGInfo [Flx_cil_cil]
Compute the CFG information for all statements in a fundec and return a * list of the statements.
comstring [Flx_cil_cprint]
concat [Flx_dlst]
cons [Flx_dlst]
constFold [Flx_cil_cil]
Do constant folding on an expression.
constFoldBinOp [Flx_cil_cil]
Do constant folding on a binary operation.
const_fold [Flx_constfld]
convFile [Flx_cil_cabs2cil]
copy [Flx_cil_util.STACK]
Return a copy of the given stack.
copy [Flx_cil_inthash]
copyCompInfo [Flx_cil_cil]
Makes a shallow copy of a Flx_cil_cil.compinfo changing the name and the key.
copyFunction [Flx_cil_cil]
Create a deep copy of a function.
copyGrowArray [Flx_cil_util]
copyVarinfo [Flx_cil_cil]
Make a shallow copy of a varinfo and assign a new identifier
copy_used [Flx_use]
countNewLines [Flx_cil_pretty]
Keep a running count of the taken newlines.
cpp_instance_name [Flx_name]
cpp_ltypename [Flx_name]
cpp_name [Flx_name]
cpp_type_classname [Flx_name]
cpp_typename [Flx_name]
create [Inria_table]
create [Flx_cil_util.STACK]
create [Flx_cil_inthash]
create_label_map [Flx_label]
create_label_usage [Flx_label]
csubst [Flx_csubst]
curLoc [Flx_cil_cprint]
current [Flx_cil_cprint]
currentLoc [Flx_cil_cil]
A reference to the current location.
currentPattern [Flx_cil_lexerhack]
current_len [Flx_cil_cprint]

D
dExp [Flx_cil_formatcil]
Deconstructs an expression based on the program.
dExp [Flx_cil_cil]
Generate an Flx_cil_cil.exp to be used in case of errors.
dGlobal [Flx_cil_cil]
Generate a Flx_cil_cil.global to be used in case of errors.
dInstr [Flx_cil_formatcil]
Deconstructs an instruction based on the program.
dInstr [Flx_cil_cil]
Generate an Flx_cil_cil.instr to be used in case of errors.
dLval [Flx_cil_formatcil]
Deconstructs an lval based on the program.
dType [Flx_cil_formatcil]
Deconstructs a type based on the program.
d_attr [Flx_cil_cil]
Flx_cil_pretty-print an attribute using Flx_cil_cil.defaultCilPrinter
d_attrlist [Flx_cil_cil]
Flx_cil_pretty-print a list of attributes using Flx_cil_cil.defaultCilPrinter
d_attrparam [Flx_cil_cil]
Flx_cil_pretty-print an argument of an attribute using Flx_cil_cil.defaultCilPrinter
d_binop [Flx_cil_cil]
Flx_cil_pretty-print a binary operator
d_block [Flx_cil_cil]
Flx_cil_pretty-print a block using Flx_cil_cil.defaultCilPrinter.
d_cabsloc [Flx_cil_cabs_helper]
d_const [Flx_cil_cil]
Flx_cil_pretty-print a constant
d_exp [Flx_cil_cil]
Flx_cil_pretty-print an expression using Flx_cil_cil.defaultCilPrinter
d_fkind [Flx_cil_cil]
Flx_cil_pretty-print a floating-point kind
d_formatarg [Flx_cil_cil]
Flx_cil_pretty-prints a format arg
d_global [Flx_cil_cil]
Flx_cil_pretty-print the internal representation of a global using * Flx_cil_cil.defaultCilPrinter.
d_hloc [Flx_cil_errormsg]
d_ikind [Flx_cil_cil]
Flx_cil_pretty-print an integer of a given kind
d_init [Flx_cil_cil]
Flx_cil_pretty-print an initializer using Flx_cil_cil.defaultCilPrinter.
d_instr [Flx_cil_cil]
Flx_cil_pretty-print an instruction using Flx_cil_cil.defaultCilPrinter
d_label [Flx_cil_cil]
Flx_cil_pretty-print a label using Flx_cil_cil.defaultCilPrinter
d_list [Flx_cil_pretty]
sm: Yet another list printer.
d_loc [Flx_cil_errormsg]
d_loc [Flx_cil_cil]
Flx_cil_pretty-print a location
d_lval [Flx_cil_cil]
Flx_cil_pretty-print an lvalue using Flx_cil_cil.defaultCilPrinter
d_offset [Flx_cil_cil]
Flx_cil_pretty-print an offset using Flx_cil_cil.defaultCilPrinter, given the pretty * printing for the base.
d_plainexp [Flx_cil_cil]
Flx_cil_pretty-print the internal representation of an expression
d_plaininit [Flx_cil_cil]
Flx_cil_pretty-print the internal representation of an integer
d_plainlval [Flx_cil_cil]
Flx_cil_pretty-print the internal representation of an lvalue
d_plaintype [Flx_cil_cil]
Flx_cil_pretty-print the internal representation of a type
d_shortglobal [Flx_cil_cil]
Flx_cil_pretty-print a short description of the global.
d_stmt [Flx_cil_cil]
Flx_cil_pretty-print a statement using Flx_cil_cil.defaultCilPrinter.
d_storage [Flx_cil_cil]
Flx_cil_pretty-print storage-class information
d_thisloc [Flx_cil_cil]
Flx_cil_pretty-print the Flx_cil_cil.currentLoc
d_type [Flx_cil_cil]
Flx_cil_pretty-print a type using Flx_cil_cil.defaultCilPrinter
d_typsig [Flx_cil_cil]
Print a type signature
debugFlag [Flx_cil_errormsg]
If set then print debugging info
dec_char2int [Flx_string]
decbig_int_of_string [Flx_string]
decint_of_string [Flx_string]
deepCopyGrowArray [Flx_cil_util]
defaultCilPrinter [Flx_cil_cil]
define_directive [Flx_preproc]
descendants [Flx_child]
desugar_program [Flx_desugar]
dfwd [Flx_dlst]
diff [Inria_cset]
dir_rev [Flx_dlst]
divert_directive [Flx_preproc]
dlst_dir [Flx_dlst]
dlst_fwd [Flx_dlst]
dlst_lst [Flx_dlst]
dlst_map [Flx_dlst]
dlst_rev [Flx_dlst]
dn_attr [Flx_cil_cil]
dn_attrlist [Flx_cil_cil]
dn_attrparam [Flx_cil_cil]
dn_exp [Flx_cil_cil]
Versions of the above pretty printers, that don't print #line directives
dn_global [Flx_cil_cil]
dn_init [Flx_cil_cil]
dn_instr [Flx_cil_cil]
dn_lval [Flx_cil_cil]
dn_stmt [Flx_cil_cil]
dn_type [Flx_cil_cil]
doCxxPP [Flx_cil_cilutil]
doFlx_cil_check [Flx_cil_cilutil]
doHeapify [Flx_cil_cilutil]
doOneRet [Flx_cil_cilutil]
doPartial [Flx_cil_cilutil]
doSimpleMem [Flx_cil_cilutil]
doStackGuard [Flx_cil_cilutil]
do_unify [Flx_unify]
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..
docAlphaTable [Flx_cil_cil]
Split the name in preparation for newAlphaName.
docArray [Flx_cil_pretty]
Formats an array.
docCList [Flx_cil_clist]
A document for printing a clist (similar to docList)
docHash [Flx_cil_util]
docList [Flx_cil_pretty]
An alternative function for printing a list.
docOpt [Flx_cil_pretty]
Prints an 'a option with None or Some
doubleType [Flx_cil_cil]
double
dprintf [Flx_cil_pretty]
This function provides an alternative method for constructing doc objects.
drev [Flx_dlst]
dropAttribute [Flx_cil_cil]
Remove all attributes with the given name.
dual [Flx_unify]
construct the dual of a type
dummyFile [Flx_cil_cil]
A dummy file
dummyFunDec [Flx_cil_cil]
A dummy function declaration handy when you need one as a placeholder.
dummyInstr [Flx_cil_cil]
A instr to serve as a placeholder
dummyStmt [Flx_cil_cil]
A statement consisting of just dummyInstr
dummy_sr [Flx_typing]
dumpBlock [Flx_cil_cil]
Dump a block to a file using a given indentation.
dumpFile [Flx_cil_cil]
Flx_cil_pretty-print an entire file.
dumpGlobal [Flx_cil_cil]
Flx_cil_pretty-print a global.
dumpInit [Flx_cil_cil]
Dump an initializer to a file using a given indentation.
dumpStmt [Flx_cil_cil]
Dump a statement to a file using a given indentation.

E
elif_directive [Flx_preproc]
else_directive [Flx_preproc]
emit [Inria_table]
empty [Inria_cset]
empty [Flx_cil_clist]
The empty clist
emptyFunction [Flx_cil_cil]
Make an empty function
endif_directive [Flx_preproc]
endline [Flx_cil_formatlex]
env_to_array [Inria_cset]
eof [Inria_cset]
eol [Flx_charset]
eprintf [Flx_cil_pretty]
Like Flx_cil_pretty.fprintf applied to stderr
error [Flx_cil_formatlex]
error [Flx_cil_errormsg]
Prints an error message of the form Error: ....
error [Flx_cil_cil]
Like Flx_cil_errormsg.error except that Flx_cil_cil.currentLoc is also printed
errorLoc [Flx_cil_cil]
Like Flx_cil_cil.error except that it explicitly takes a location argument, * instead of using the Flx_cil_cil.currentLoc
escape_char [Flx_cil_escape]
escape various constructs in accordance with C lexical rules
escape_of_string [Flx_string]
escape_string [Flx_cil_escape]
escape_wchar [Flx_cil_escape]
escape_wstring [Flx_cil_escape]
eval_module_expr [Flx_lookup]
existsType [Flx_cil_cil]
Scans a type by applying the function on all elements.
expand_expression [Flx_macro]
expand_expr is a special hook used to perform constant folding and desugaring in the preprocessor
expand_macros [Flx_macro]
explodeStringToInts [Flx_cil_cabs_helper]
expr_uses [Flx_call]
expression [Flx_parse]
expression [Flx_cil_formatparse]

F
fastMode [Flx_cil_pretty]
If set to true then optional breaks are taken only when the document has exceeded the given width.
file [Flx_cil_cparser]
filetime [Flx_filesys]
filterAttributes [Flx_cil_cil]
Retains attributes with the given name
filterNoCopy [Flx_cil_util]
final_tailcall_opt [Flx_cflow]
find [Flx_cil_inthash]
findConfiguration [Flx_cil_util]
Find a configuration elements, given a key.
findConfigurationBool [Flx_cil_util]
findConfigurationInt [Flx_cil_util]
Like findConfiguration but extracts the integer
findConfigurationList [Flx_cil_util]
findConfigurationString [Flx_cil_util]
findOrAdd [Flx_cil_util]
Just another name for memoize
find_all [Flx_cil_inthash]
find_children [Flx_child]
find_file [Flx_filesys]
find_file_in_path [Flx_filesys]
find_label [Flx_label]
find_members [Flx_gen]
find_rec [Flx_cil_inthash]
find_references [Flx_ogen]
find_roots [Flx_use]
find_split_vs [Flx_generic]
find_thread_vars_with_type [Flx_ogen]
find_vs [Flx_generic]
finish [Flx_cil_formatlex]
finish [Flx_cil_clexer]
finishParsing [Flx_cil_errormsg]
fix [Flx_util]
fixpoint combinator
floating_of_string [Flx_string]
flush [Flx_cil_cprint]
flushOften [Flx_cil_pretty]
If true the it flushes after every print
flx_bbool [Flx_typing]
flx_bool [Flx_typing]
fold [Flx_unify]
undo an unfold
fold [Flx_cil_inthash]
foldGlobals [Flx_cil_cil]
Fold over all globals, including the global initializer
foldLeftCompound [Flx_cil_cil]
Fold over the list of initializers in a Compound.
foldLeftCompoundAll [Flx_cil_cil]
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
fold_for [Flx_cil_util]
* An accumulating for loop.
fold_left [Flx_cil_clist]
A version of fold_left that works on clists
follow [Flx_cil_cprint]
force_new_line [Flx_cil_cprint]
format_vars [Flx_gen]
fprint [Flx_cil_pretty]
Format the document to the given width and emit it to the given channel
fprintf [Flx_cil_pretty]
fromList [Flx_cil_clist]
Convert an ordinary list to a clist
full_string_of_entry_kind [Flx_print]
full_string_of_entry_set [Flx_print]
full_use_closure [Flx_use]
funparamtype [Flx_typing]

G
gcc [Flx_cil_machdep]
gccBuiltins [Flx_cil_cil]
A list of the GCC built-in functions.
gccHas__builtin_va_list [Flx_cil_machdep]
gen_biface_bodies [Flx_gen]
gen_biface_headers [Flx_gen]
gen_ctor [Flx_ctorgen]
gen_elk_lexer [Flx_elkgen]
gen_elk_parser [Flx_elkgen]
gen_execute_methods [Flx_gen]
gen_expr [Flx_egen]
gen_expr' [Flx_egen]
gen_extractor [Flx_mbind]
gen_functions [Flx_gen]
gen_match_check [Flx_mbind]
gen_offset_tables [Flx_ogen]
gen_prim_call [Flx_pgen]
gen_type_names [Flx_tgen]
gen_types [Flx_tgen]
genprec [Flx_cexpr]
get [Inria_table]
getAlphaPrefix [Flx_cil_cil]
getArgName [Flx_cil_formatlex]
getCompField [Flx_cil_cil]
Return a named fieldinfo in compinfo, or raise Not_found
getGlobInit [Flx_cil_cil]
Get the global initializer and create one if it does not already exist.
getHPosition [Flx_cil_errormsg]
high-level position
getLocation [Flx_cil_errormsg]
getPosition [Flx_cil_errormsg]
getReg [Flx_cil_util]
get_definitionloc [Flx_cil_cabs_helper]
get_display_list [Flx_display]
get_felix_options [Flx_flxopt]
get_globalLoc [Flx_cil_cil]
Return the location of a global, or locUnknown
get_instrLoc [Flx_cil_cil]
Return the location of an instruction
get_key_value [Flx_getopt]
get_key_values [Flx_getopt]
get_keys_values [Flx_getopt]
get_label_kind [Flx_label]
get_label_kind_from_index [Flx_label]
get_lang [Flx_cil_lexerhack]
get_operator [Flx_cil_cprint]
get_pattern_vars [Flx_mbind]
get_some_option_list [Flx_cil_util]
get_statementloc [Flx_cil_cabs_helper]
get_stmtLoc [Flx_cil_cil]
Return the location of a statement, or locUnknown
get_value [Flx_cil_formatlex]
get_var_ref [Flx_egen]
gprintf [Flx_cil_pretty]
Like Flx_cil_pretty.dprintf but more general.
growArray_foldl [Flx_cil_util]
Fold left over the initialized elements of the array
growArray_iteri [Flx_cil_util]
Iterate over the initialized elements of the array

H
hadErrors [Flx_cil_errormsg]
This is set whenever one of the above error functions are called.
handle_preprocessor [Flx_preproc]
hasAttribute [Flx_cil_cil]
True if the named attribute appears in the attribute list.
hasMSVC [Flx_cil_machdep]
hasPrefix [Flx_cil_util]
hasPrefix prefix str returns true with str starts with prefix
has_performance_counters [Flx_cil_stats]
Flx_cil_check if we have performance counters
hash_copy_into [Flx_cil_util]
Copy a hash table into another
hash_to_list [Flx_cil_util]
hashtable_of_list [Flx_util]
make a hashtable from an assoc list
heavy_inlining [Flx_inline]
hex2 [Flx_string]
hex4 [Flx_string]
hex8 [Flx_string]
hex_char2int [Flx_string]
hexbig_int_of_string [Flx_string]
hexint_of_string [Flx_string]

I
if_directive [Flx_preproc]
ifdef_directive [Flx_preproc]
ifndef_directive [Flx_preproc]
ignore_merge_conflicts [Flx_cil_mergecil]
include_directive [Flx_preproc]
include_file [Flx_desugar]
increm [Flx_cil_cil]
Increment an expression.
indent [Flx_cil_pretty]
Indents the document.
indent [Flx_cil_cprint]
indentline [Flx_cil_cprint]
infix_directive [Flx_preproc]
init [Flx_cil_formatlex]
init [Flx_cil_clexer]
initCIL [Flx_cil_cil]
Call this function to perform some initialization.
initial [Flx_cil_formatlex]
initial [Flx_cil_clexer]
initialize [Flx_cil_formatparse]
insert [Flx_cil_pretty]
A function that is useful with the printf-like interface
instantiate [Flx_inst]
instr [Flx_cil_formatparse]
intPtrType [Flx_cil_cil]
int *
intType [Flx_cil_cil]
int
int_of_unitsum [Flx_typing]
int_range_list [Flx_cil_util]
integer [Flx_cil_cil]
Construct an integer of kind IInt.
inter [Inria_cset]
interpret [Flx_cil_cparser]
interval [Inria_cset]
isArithmeticType [Flx_cil_cil]
True if the argument is an arithmetic type (i.e.
isArrayType [Flx_cil_cil]
True if the argument is an array type
isCompleteProgramRoot [Flx_cil_rmtmps]
isCompleteType [Flx_cil_cil]
Returns true if this is a complete type.
isConstant [Flx_cil_cil]
True if the expression is a compile-time constant
isDefaultRoot [Flx_cil_rmtmps]
isExportedRoot [Flx_cil_rmtmps]
isExtern [Flx_cil_cabs_helper]
isFunctionType [Flx_cil_cil]
True if the argument is a function type
isInline [Flx_cil_cabs_helper]
isInteger [Flx_cil_cil]
True if the given expression is a (possibly cast'ed) character or an integer constant
isIntegralType [Flx_cil_cil]
True if the argument is an integral type (i.e.
isPointerType [Flx_cil_cil]
True if the argument is a pointer type
isSigned [Flx_cil_cil]
Returns true if and only if the given integer type is signed.
isStatic [Flx_cil_cabs_helper]
isTypedef [Flx_cil_cabs_helper]
isVoidPtrType [Flx_cil_cil]
isVoidType [Flx_cil_cil]
isZero [Flx_cil_cil]
True if the given expression is a (possibly cast'ed) integer or character constant with value zero
is_ancestor [Flx_child]
is_child [Flx_child]
is_digit [Flx_preproc]
is_empty [Inria_cset]
is_empty [Flx_cil_util.STACK]
Return true if the given stack is empty, false otherwise.
is_in_string [Flx_preproc]
is_recursive [Flx_call]
is_recursive_call [Flx_call]
is_some [Flx_util]
test if option not None
is_unitsum [Flx_typing]
is_universal [Flx_pat]
is_white [Flx_preproc]
iter [Inria_table]
iter [Flx_cil_util.STACK]
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.
iter [Flx_cil_inthash]
iter [Flx_cil_clist]
A version of iter that works on clists
iterGlobals [Flx_cil_cil]
Iterate over all globals, including the global initializer
iter_b0type [Flx_maps]
iter_bexe [Flx_maps]
iter_btype [Flx_maps]
iter_tbexpr [Flx_maps]

K
keepUnused [Flx_cil_rmtmps]
keys [Flx_cil_util]
keywords [Flx_cil_formatlex]
kinteger [Flx_cil_cil]
Construct an integer of a given kind.
kinteger64 [Flx_cil_cil]
Construct an integer of a given kind, using OCaml's int64 type.

L
leftflush [Flx_cil_pretty]
Use after a Flx_cil_pretty.line to prevent the indentation.
lenOfArray [Flx_cil_cil]
Call to compute the array length as present in the array type, to an * integer.
length [Flx_cil_util.STACK]
Return the number of elements in a stack.
length [Flx_cil_clist]
Find the length of a clist
libDir [Flx_cil_cilutil]
lift [Flx_typing]
line [Flx_cil_pretty]
A document that consists of a mandatory newline.
line [Flx_cil_cprint]
lineDirectiveStyle [Flx_cil_cil]
How to print line directives
line_directive [Flx_preproc]
line_len [Flx_cil_cprint]
list_drop [Flx_cil_util]
list_fold_lefti [Flx_cil_util]
Like fold_left but pass the index into the list as well
list_head_default [Flx_cil_util]
list_index [Flx_util]
position in list of value
list_init [Flx_cil_util]
list_insert_by [Flx_cil_util]
list_iter3 [Flx_cil_util]
list_iteri [Flx_cil_util]
Iterate over a list passing the index as you go
list_last [Flx_util]
last element of list
list_mapi [Flx_cil_util]
list_omap [Flx_util]
forward order map
list_prefix [Flx_util]
first n elements of a list
list_span [Flx_cil_util]
list_subst [Flx_unify]
replace variables in the term using the mapping in a list
little_endian [Flx_cil_cil]
Whether the machine is little endian.
loadBinaryFile [Flx_cil_cil]
Read a Flx_cil_cil.file in binary form from the filesystem.
loadConfiguration [Flx_cil_util]
Load the configuration from a file
locUnknown [Flx_cil_errormsg]
An unknown location for use when you need one but you don't have one
locUnknown [Flx_cil_cil]
Represents a location that cannot be determined
log [Flx_cil_errormsg]
Print something to logChannel
logCalls [Flx_cil_cilutil]
logChannel [Flx_cil_errormsg]
A channel for printing log messages
logWrites [Flx_cil_cilutil]
longType [Flx_cil_cil]
long
long_string_of_src [Flx_srcref]
lookup_code_in_env [Flx_lookup]
lookup_name_in_env [Flx_lookup]
lookup_qn_in_env [Flx_lookup]
lookup_qn_in_env2 [Flx_lookup]
lookup_qn_with_sig [Flx_lookup]
lookup_sn_in_env [Flx_lookup]
lower [Flx_typing]
lstrip [Flx_unify]
lstrip t returns t all lvalue combinators elided
lu [Flx_cil_cprint]
lval [Flx_cil_formatparse]

M
makeCFG [Flx_cil_cilutil]
makeFormalVar [Flx_cil_cil]
Make a formal variable for a function.
makeGlobalVar [Flx_cil_cil]
Make a global variable.
makeLocalVar [Flx_cil_cil]
Make a local variable and add it to a function's slocals (only if insert = true, which is the default).
makeTempVar [Flx_cil_cil]
Make a temporary variable and add it to a function's slocals.
makeVarinfo [Flx_cil_cil]
Make a varinfo.
makeZeroInit [Flx_cil_cil]
Make a initializer for zero-ing a data type
make_closures [Flx_mkcls]
make_dfa [Inria_lexgen]
make_params [Flx_generic]
make_stack_calls [Flx_stack_calls]
make_syms [Flx_flxopt]
make_varmap [Flx_generic]
map [Flx_cil_clist]
Map a function over a clist.
mapGlobals [Flx_cil_cil]
Map over all globals, including the global initializer and change things in place
mapNoCopy [Flx_cil_util]
mapNoCopy [Flx_cil_cil]
Like map but try not to make a copy of the list
mapNoCopyList [Flx_cil_util]
mapNoCopyList [Flx_cil_cil]
Like map but each call can return a list.
map_b0type [Flx_maps]
map_bexe [Flx_maps]
map_btype [Flx_maps]
map_expr [Flx_maps]
map_flx_keywords [Flx_keywords]
map_tbexpr [Flx_maps]
map_type [Flx_maps]
mark [Flx_cil_pretty]
Mark the beginning of a markup section.
markup [Flx_cil_pretty]
Prints a document as markup.
max_indent [Flx_cil_cprint]
maybe_matches [Flx_unify]
obtain the mgu of a set of type equations, for matching parameters against arguments: allows special subtyping for lvalues
maybe_specialisation [Flx_unify]
maybe_unification [Flx_unify]
obtain the mgu of a set of type equations
mem [Flx_cil_inthash]
memoize [Flx_cil_util]
memoize [Flx_cil_inthash]
merge [Flx_cil_mergecil]
Merge a number of CIL files
metatype [Flx_beta]
minimise [Flx_unify]
missingFieldDecl [Flx_cil_cabs_helper]
missingFieldName [Flx_cil_cil]
This is a constant used as the name of an unnamed bitfield.
mkAddrOf [Flx_cil_cil]
Make an AddrOf.
mkAddrOrStartOf [Flx_cil_cil]
Like mkAddrOf except if the type of lval is an array then it uses StartOf.
mkBlock [Flx_cil_cil]
Construct a block with no attributes, given a list of statements
mkCast [Flx_cil_cil]
Like Flx_cil_cil.mkCastT but uses typeOf to get oldt
mkCastT [Flx_cil_cil]
Construct a cast when having the old type of the expression.
mkCompInfo [Flx_cil_cil]
Creates a a (potentially recursive) composite type.
mkEmptyStmt [Flx_cil_cil]
Returns an empty statement (of kind Instr)
mkFor [Flx_cil_cil]
Make a for loop for(start; guard; next) { ...
mkForIncr [Flx_cil_cil]
Make a for loop for(i=start; i<past; i += incr) { ...
mkMem [Flx_cil_cil]
Make a Mem, while optimizing AddrOf.
mkStmt [Flx_cil_cil]
Construct a statement, given its kind.
mkStmtOneInstr [Flx_cil_cil]
Construct a statement consisting of just one instruction
mkString [Flx_cil_cil]
Make an expression that is a string constant (of pointer type)
mkWhile [Flx_cil_cil]
Make a while loop.
mk_varmap [Flx_unify]
make a varmap using vs and ts list
mone [Flx_cil_cil]
-1
msvc [Flx_cil_machdep]
msvcBuiltins [Flx_cil_cil]
A list of the MSVC built-in functions.
msvcMode [Flx_cil_cprint]
msvcMode [Flx_cil_cil]
Whether the pretty printer should print output for the MS VC compiler.

N
name_of_token [Flx_prelex]
newAlphaName [Flx_cil_cil]
Create a new name based on a given name.
newGrowArray [Flx_cil_util]
newGrowArray initsz fillhow
newHline [Flx_cil_errormsg]
new_line [Flx_cil_cprint]
newline [Flx_cil_errormsg]
nil [Flx_cil_pretty]
Constructs an empty document
nlist [Flx_util]
list of n integers 0 to n-1
noMemoize [Flx_cil_formatcil]
If set then will not memoize the parsed patterns
nocil [Flx_cil_cabs2cil]
normalise_type [Flx_unify]
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
null [Flx_cil_errormsg]
Do not actually print (i.e.
num [Flx_cil_pretty]
A document that prints an integer in decimal form

O
oct_char2int [Flx_string]
octbig_int_of_string [Flx_string]
octint_of_string [Flx_string]
offset [Flx_cil_formatparse]
one [Flx_cil_cil]
1
out [Flx_cil_cprint]
overload [Flx_overload]

P
paramtype [Flx_typing2]
parse [Flx_cil_frontc]
parseInt [Flx_cil_cil]
Convert a string representing a C integer literal to an expression.
parse_error [Flx_cil_errormsg]
parse_file [Flx_parse_ctrl]
parse_line [Flx_lex]
parse_option [Flx_getopt]
parse_options [Flx_getopt]
parse_string [Flx_parse_ctrl]
parse_tokens [Flx_tok]
parse_utf8 [Flx_string]
partitionAttributes [Flx_cil_cil]
Partition the attributes into classes:name attributes, function type, and type attributes
peepHole1 [Flx_cil_cil]
Similar to peepHole2 except that the optimization window consists of one statement, not two
peepHole2 [Flx_cil_cil]
A peephole optimizer that processes two adjacent statements and possibly replaces them both.
pop [Flx_cil_util.STACK]
pop s removes and returns the topmost element in stack s, or raises Empty if the stack is empty.
popContext [Flx_cil_errormsg]
Removes the last registered context printing function
pop_class [Flx_cil_lexerhack]
pop_context [Flx_cil_lexerhack]
pop_context [Flx_cil_clexer]
pre_flx_lex [Flx_lex]
pre_tokens_of_filename [Flx_pretok]
pre_tokens_of_lexbuf [Flx_preproc]
pre_tokens_of_string [Flx_pretok]
pre_tokens_of_string [Flx_preproc]
prepareCFG [Flx_cil_cil]
Prepare a function for CFG information computation by * Flx_cil_cil.computeCFGInfo.
prepend [Flx_dlst]
print [Flx_cil_stats]
Print the current stats preceeded by a message
print [Flx_cil_cprint]
printAttr [Flx_cil_cil]
Print an attribute given a pretty printer
printAttrs [Flx_cil_cil]
Print a set of attributes given a pretty printer
printBlock [Flx_cil_cil]
Print a block given a pretty printer.
printCilAsIs [Flx_cil_cil]
Whether to print the CIL as they are, without trying to be smart and * print nicer code.
printComments [Flx_cil_cprint]
printCounters [Flx_cil_cprint]
printDepth [Flx_cil_pretty]
Specifies the nesting depth of the align/unalign pairs at which everything is replaced with ellipsis
printExp [Flx_cil_cil]
Print an expression given a pretty printer
printFile [Flx_cil_cprint]
printFlx_cil_stats [Flx_cil_cilutil]
printGlobal [Flx_cil_cil]
Print a global given a pretty printer
printIndent [Flx_cil_pretty]
If false then does not indent
printInit [Flx_cil_cil]
Print an initializer given a pretty printer.
printInstr [Flx_cil_cil]
Print an instruction given a pretty printer
printLn [Flx_cil_cprint]
printLnComment [Flx_cil_cprint]
printLval [Flx_cil_cil]
Print an lvalue given a pretty printer
printStages [Flx_cil_cilutil]
printStmt [Flx_cil_cil]
Print a statement given a pretty printer.
printType [Flx_cil_cil]
Print a type given a pretty printer
print_CIL_Input [Flx_cil_cil]
Whether we print something that will only be used as input to our own * parser.
print_attribute [Flx_cil_cprint]
print_attributes [Flx_cil_cprint]
print_block [Flx_cil_cprint]
print_call_report [Flx_call]
print_chosen [Flx_flxopt]
print_comma_exps [Flx_cil_cprint]
print_commas [Flx_cil_cprint]
print_decl [Flx_cil_cprint]
print_def [Flx_cil_cprint]
print_defs [Flx_cil_cprint]
print_enum_items [Flx_cil_cprint]
print_env [Flx_print]
print_env_short [Flx_print]
print_expression [Flx_cil_cprint]
print_expression_level [Flx_cil_cprint]
print_field [Flx_cil_cprint]
print_field_group [Flx_cil_cprint]
print_fields [Flx_cil_cprint]
print_functions [Flx_print]
print_init_expression [Flx_cil_cprint]
print_init_name [Flx_cil_cprint]
print_init_name_group [Flx_cil_cprint]
print_list [Flx_cil_cprint]
print_name [Flx_cil_cprint]
print_name_group [Flx_cil_cprint]
print_old_params [Flx_cil_cprint]
print_onlytype [Flx_cil_cprint]
print_options [Flx_flxopt]
print_params [Flx_cil_cprint]
print_pre_tokens [Flx_tok]
print_single_name [Flx_cil_cprint]
print_specifiers [Flx_cil_cprint]
print_statement [Flx_cil_cprint]
print_string [Flx_cil_cprint]
print_struct_name_attr [Flx_cil_cprint]
print_substatement [Flx_cil_cprint]
print_tab [Flx_cil_cprint]
print_tokens [Flx_tok]
print_type_spec [Flx_cil_cprint]
print_unescaped_string [Flx_cil_cprint]
print_wstring [Flx_cil_cprint]
printf [Flx_cil_pretty]
Like Flx_cil_pretty.fprintf applied to stdout
process_regexp [Flx_dfa]
push [Flx_cil_util.STACK]
push x s adds the element x at the top of stack s.
pushContext [Flx_cil_errormsg]
Registers a context printing function
pushGlobal [Flx_cil_cil]
CIL keeps the types at the beginning of the file and the variables at the * end of the file.
push_class [Flx_cil_lexerhack]
push_context [Flx_cil_lexerhack]
push_context [Flx_cil_clexer]
py_dquote_of_string [Flx_string]
py_quote_of_string [Flx_string]

Q
qualified_name_of_expr [Flx_typing]
qualified_name_of_index [Flx_print]

R
real [Flx_cil_pretty]
A document that prints a real number
reduce_bexe [Flx_maps]
reduce_tbexpr [Flx_maps]
reduce_type [Flx_maps]
regen [Flx_regen]
regexp_dot [Flx_charset]
regexp_of_charset [Flx_charset]
regexp_underscore [Flx_charset]
registerAlphaName [Flx_cil_cil]
Register a name with an alpha conversion table to ensure that when later * we call newAlphaName we do not end up generating this one
registerSymbolName [Flx_cil_util]
Register a symbol name and get the symbol for it
registerSymbolRange [Flx_cil_util]
Register a number of consecutive symbol ids.
register_tuple [Flx_treg]
register_type_nr [Flx_treg]
register_type_r [Flx_treg]
remove [Flx_cil_inthash]
removeOffset [Flx_cil_cil]
Remove ONE offset from the end of an offset sequence.
removeOffsetLval [Flx_cil_cil]
Remove ONE offset from the end of an lvalue.
removeUnusedTemps [Flx_cil_rmtmps]
remove_child [Flx_child]
repeattime [Flx_cil_stats]
repeattime is like time but runs the function several times until the total running time is greater or equal to the first argument.
replace [Flx_cil_inthash]
reset [Flx_cil_stats]
Resets all the timings.
resize [Flx_cil_inthash]
resolve_overload [Flx_lookup]
restoreArray [Flx_cil_util]
Given an array, produce a thunk that later restores it to its current value
restoreHash [Flx_cil_util]
Given a hash table, produce a thunk that later restores it to its current value
restoreRef [Flx_cil_util]
Given a ref cell, produce a thunk that later restores it to its current value
rev [Flx_cil_clist]
Reverse a clist
roll [Flx_cil_cprint]
rsexpr [Flx_srcref]
rslist [Flx_srcref]
rsrange [Flx_srcref]
rstoken [Flx_srcref]
runThunks [Flx_cil_util]
Given a list of thunks, produce a thunk that runs them all

S
s [Flx_cil_errormsg]
Stop the execution by raising an Error.
saveBinaryFile [Flx_cil_cil]
Write a Flx_cil_cil.file in binary form to the filesystem.
saveBinaryFileChannel [Flx_cil_cil]
Write a Flx_cil_cil.file in binary form to the filesystem.
saveConfiguration [Flx_cil_util]
Save the configuration in a file.
sbe [Flx_print]
sbt [Flx_print]
sbx [Flx_print]
sc [Flx_cexpr]
scan_escape [Flx_cil_formatlex]
scan_hex_escape [Flx_cil_formatlex]
scan_ident [Flx_cil_formatlex]
scan_oct_escape [Flx_cil_formatlex]
seq [Flx_cil_pretty]
Formats a sequence.
setConfiguration [Flx_cil_util]
Set a configuration element, with a key.
setCurrentFile [Flx_cil_errormsg]
setCurrentLine [Flx_cil_errormsg]
setFormals [Flx_cil_cil]
Update the formals of a fundec and make sure that the function type has the same information.
setFunctionType [Flx_cil_cil]
Set the types of arguments and results as given by the function type * passed as the second argument.
setHFile [Flx_cil_errormsg]
setHLine [Flx_cil_errormsg]
setLoc [Flx_cil_cprint]
setMSVCMode [Flx_cil_frontc]
setMaxId [Flx_cil_cil]
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.
setReg [Flx_cil_util]
setTypeAttrs [Flx_cil_cil]
setTypeSigAttrs [Flx_cil_cil]
Replace the attributes of a signature (only at top level)
set_globals [Flx_global]
set_tab [Flx_cil_cprint]
set_width [Flx_cil_cprint]
shape_of [Flx_pgen]
short_string_of_src [Flx_srcref]
showContext [Flx_cil_errormsg]
Show the context stack to stderr
si [Flx_util]
synonym for string_of_int
single [Flx_cil_clist]
Create a clist containing one element
singleton [Inria_cset]
size [Inria_table]
sizeOf [Flx_cil_cil]
sliceGlobal [Flx_cil_cilutil]
slift [Flx_srcref]
space [Flx_cil_cprint]
spaces [Flx_util]
n spaces
spaces [Flx_cil_cprint]
special_string_of_typecode [Flx_print]
splitFunctionType [Flx_cil_cil]
Given a function type split it into return type, * arguments, is_vararg and attributes.
splitFunctionTypeVI [Flx_cil_cil]
sprint [Flx_cil_pretty]
Format the document to the given width and emit it as a string
src_of_expr [Flx_srcref]
src_of_pat [Flx_srcref]
src_of_qualified_name [Flx_srcref]
src_of_stmt [Flx_srcref]
src_of_suffixed_name [Flx_srcref]
src_of_token [Flx_prelex]
startParsing [Flx_cil_errormsg]
startParsingFromString [Flx_cil_errormsg]
startsWith [Flx_cil_cil]
sm: return true if the first is a prefix of the second string
statement [Flx_parse]
stmt [Flx_cil_formatparse]
stmt_list [Flx_cil_formatparse]
strd [Flx_display]
string_of_arguments [Flx_print]
string_of_bbdcl [Flx_print]
string_of_bexe [Flx_print]
string_of_bigint [Flx_print]
string_of_bound_expression [Flx_print]
string_of_bound_expression_with_type [Flx_print]
string_of_btypecode [Flx_print]
string_of_cdecl_type [Flx_ctype]
string_of_cexpr [Flx_cexpr]
string_of_characters [Inria_cset]
string_of_compilation_unit [Flx_print]
string_of_ctype [Flx_ctype]
string_of_dcl [Flx_print]
string_of_desugared [Flx_print]
string_of_entry_kind [Flx_print]
string_of_entry_set [Flx_print]
string_of_exe [Flx_print]
string_of_expr [Flx_print]
string_of_literal [Flx_print]
string_of_parameters [Flx_print]
string_of_pattern [Flx_print]
string_of_qualified_name [Flx_print]
string_of_statement [Flx_print]
string_of_suffixed_name [Flx_print]
string_of_symdef [Flx_print]
string_of_token [Flx_prelex]
string_of_tpattern [Flx_print]
string_of_typecode [Flx_print]
string_of_varlist [Flx_print]
stringset_map [Flx_mtypes1]
strip_us [Flx_preproc]
symbolName [Flx_cil_util]
Get the name of a symbol
syserr [Flx_exceptions]

T
tab [Flx_cil_cprint]
tailable [Flx_cflow]
tailit [Flx_tailit]
terminate [Flx_terminate]
terminate the top level program in case of error
test [Flx_cil_formatcil]
Just a testing function
text [Flx_cil_pretty]
A document that prints the given string
time [Flx_cil_stats]
Time a function and associate the time with the given string.
toList [Flx_cil_clist]
Convert a clist to an ordinary list
top [Flx_cil_util.STACK]
top s returns the topmost element in stack s, or raises Empty if the stack is empty.
trace [Flx_cil_trace]
traceActive [Flx_cil_trace]
traceAddMulti [Flx_cil_trace]
traceAddSys [Flx_cil_trace]
traceIndent [Flx_cil_trace]
traceIndentLevel [Flx_cil_trace]
traceOutdent [Flx_cil_trace]
traceSubsystems [Flx_cil_trace]
tracei [Flx_cil_trace]
traceu [Flx_cil_trace]
translate [Flx_lex1]
transpose [Flx_util]
hmmm
trim [Inria_table]
tryFinally [Flx_cil_util]
tsbe [Flx_print]
tsubst [Flx_unify]
replace variables using vs and ts list to determine mapping
typeAddAttributes [Flx_cil_cil]
Add some attributes to a type
typeAttrs [Flx_cil_cil]
Returns all the attributes contained in a type.
typeOf [Flx_cil_cil]
Compute the type of an expression
typeOfLval [Flx_cil_cil]
Compute the type of an lvalue
typeOfSizeOf [Flx_cil_cil]
typeOffset [Flx_cil_cil]
Compute the type of an offset from a base type
typeRemoveAttributes [Flx_cil_cil]
Remove all attributes with the given names from a type.
typeSig [Flx_cil_cil]
Compute a type signature
typeSigAttrs [Flx_cil_cil]
Get the top-level attributes of a signature
typeSigWithAttrs [Flx_cil_cil]
Like Flx_cil_cil.typeSig but customize the incorporation of attributes
type_eq [Flx_unify]
compare for iso-equality
type_match [Flx_unify]
compare parameter with argument type, argument may have extra lvalue in it
type_of_argtypes [Flx_typing]
type_of_tpattern [Flx_tpat]
typecode_of_expr [Flx_typing2]
typecodeset_map [Flx_mtypes2]
typecodeset_of_list [Flx_mtypes2]
typename [Flx_cil_formatparse]
typeof_list [Flx_typing2]
typeof_literal [Flx_lookup]
typeofindex [Flx_lookup]
typeofindex_with_ts [Flx_lookup]
typeoflist [Flx_typing]

U
ucs_id_ranges [Flx_id]
uintPtrType [Flx_cil_cil]
unsigned int *
uintType [Flx_cil_cil]
unsigned int
ulongType [Flx_cil_cil]
unsigned long
unalign [Flx_cil_pretty]
Reverts to the last saved indentation level.
undef_directive [Flx_preproc]
undivert_directive [Flx_preproc]
undoAlphaChanges [Flx_cil_cil]
Undo the changes to a table
unescape [Flx_string]
unfold [Flx_unify]
unfold t returns t with each fix variable denoting t replaced with t
unification [Flx_unify]
obtain the mgu of a set of type equations with specified dependent variable set, throws Not_found if cannot unify
unifies [Flx_unify]
test if two types unify
unimp [Flx_cil_errormsg]
Similar to error except that its output has the form Unimplemented: ...
unimp [Flx_cil_cil]
Like Flx_cil_errormsg.unimp except that Flx_cil_cil.currentLocis also printed
unindent [Flx_cil_cprint]
union [Inria_cset]
uniq_cat [Flx_util]
add elements to unique list
uniq_list [Flx_util]
make a list of unique elements
uniqueVarNames [Flx_cil_cil]
Assign unique names to local variables.
unmark [Flx_cil_pretty]
The end of a markup section
unravel [Flx_unravel]
unrollType [Flx_cil_cil]
Unroll a type until it exposes a non * TNamed.
unrollTypeDeep [Flx_cil_cil]
Unroll all the TNamed in a type (even under type constructors such as * TPtr, TFun or TArray.
upointType [Flx_cil_cil]
useConfigurationBool [Flx_cil_util]
useConfigurationInt [Flx_cil_util]
Looks for an integer configuration element, and if it is found, it uses * the given function.
useConfigurationList [Flx_cil_util]
useConfigurationString [Flx_cil_util]
useLogicalOperators [Flx_cil_cil]
Whether to use the logical operands LAnd and LOr.
use_closure [Flx_call]
uses [Flx_use]
uses_type [Flx_use]
utf8_of_int [Flx_string]
utf8_to_ucn [Flx_id]

V
valOf [Flx_cil_util]
Get the value of an option.
validate_patterns [Flx_pat]
valueOfDigit [Flx_cil_cabs_helper]
var [Flx_cil_cil]
Makes an lvalue out of a given variable
var_i_occurs [Flx_unify]
check for a particular variable
var_list_occurs [Flx_unify]
check for variables
var_occurs [Flx_unify]
check for variables
varmap_subst [Flx_unify]
replace variables in the term using the mapping in the hashtable
verboseFlag [Flx_cil_errormsg]
version [Flx_cil_cprint]
version_data [Flx_version]
visitCilAttributes [Flx_cil_cil]
Visit a list of attributes
visitCilBlock [Flx_cil_cil]
Visit a block
visitCilExpr [Flx_cil_cil]
visitCilFile [Flx_cil_cil]
Visit a file.
visitCilFileSameGlobals [Flx_cil_cil]
A visitor for the whole file that does not change the globals (but maybe * changes things inside the globals).
visitCilFunction [Flx_cil_cil]
Visit a function definition
visitCilGlobal [Flx_cil_cil]
Visit a global
visitCilInit [Flx_cil_cil]
Visit an initializer
visitCilInitOffset [Flx_cil_cil]
Visit an initializer offset
visitCilInstr [Flx_cil_cil]
Visit an instruction
visitCilLval [Flx_cil_cil]
Visit an lvalue
visitCilOffset [Flx_cil_cil]
Visit an lvalue or recursive offset
visitCilStmt [Flx_cil_cil]
Visit a statement
visitCilType [Flx_cil_cil]
Visit a type
visitCilVarDecl [Flx_cil_cil]
Visit a variable declaration
visit_cabsAttributes [Flx_cil_cabsvisit]
visit_cabsBlock [Flx_cil_cabsvisit]
visit_cabsDeclType [Flx_cil_cabsvisit]
Visits a decl_type.
visit_cabsDefinition [Flx_cil_cabsvisit]
visit_cabsExpression [Flx_cil_cabsvisit]
visit_cabsFile [Flx_cil_cabsvisit]
visit_cabsName [Flx_cil_cabsvisit]
visit_cabsSpecifier [Flx_cil_cabsvisit]
visit_cabsStatement [Flx_cil_cabsvisit]
visit_cabsTypeSpecifier [Flx_cil_cabsvisit]
visitorLocation [Flx_cil_cabsvisit]
Set by the visitor to the current location
voidPtrType [Flx_cil_cil]
void *
voidType [Flx_cil_cil]
void

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

Z
zero [Flx_cil_cil]
0