Index of values
__ocaml_lex_token_rec
[
C_lexer
]
A
add_global_binding_to_env
[
C_typing
]
add_local_binding_to_env
[
C_typing
]
add_name
[
C_parserhelper
]
add_type_to_expr
[
C_typing
]
add_type_to_expr_simple
[
C_typing
]
add_type_to_statement
[
C_typing
]
align_of_builtin_type
[
Ctt_abstree
]
align_of_type
[
C_typing
]
arithmetic_coerce
[
C_typing
]
asr_big_int
[
Parse_const
]
assign_coerce
[
C_typing
]
atomic_c_type
[
Ctt_printer
]
B
big_int_of_byte_list
[
Parse_const
]
big_int_of_float
[
Reduce
]
big_int_of_number
[
Parse_const
]
bits_of_byte
[
Config
]
builtin_to_typespec
[
Ctt_to_ptree
]
byte_list_of_big_int
[
Parse_const
]
C
calculate_bitfields_packing
[
Config
]
calculate_magnitude
[
Ctt_reduce_mdarray
]
cast_coerce
[
C_typing
]
char_is_signed
[
Config
]
chop_last_char
[
Parse_const
]
clear_typedef_name
[
C_parserhelper
]
coerce_at_least_integer
[
C_typing
]
coerce_implicit_pointer
[
C_typing
]
coerce_int_constant
[
Reduce
]
coerce_merge
[
C_typing
]
coerce_merge_numeric
[
C_typing
]
coerce_merge_pointer
[
C_typing
]
coerce_to_boolean
[
C_typing
]
compute_const_ff
[
Reduce
]
compute_const_fi
[
Reduce
]
compute_const_ii
[
Reduce
]
const_expr_of_big_int
[
Ctt_to_ptree
]
constant_exp_of_big_int
[
Ctt_to_ptree
]
constant_exp_of_int
[
Ctt_to_ptree
]
convert_binop
[
Ctt_to_ptree
]
convert_block
[
Decompose_ssa
]
convert_constant
[
Ctt_to_ptree
]
convert_declarator
[
Ctt_to_ptree
]
convert_declarator_anonymous
[
Ctt_to_ptree
]
convert_declarator_iter
[
Ctt_to_ptree
]
convert_expr
[
Ctt_to_ptree
]
convert_funcarg_type
[
C_typing
]
convert_global_declaration
[
Ctt_to_ptree
]
convert_global_storage_class
[
Ctt_to_ptree
]
convert_initializer
[
Ctt_to_ptree
]
convert_local_storage_class
[
Ctt_to_ptree
]
convert_program
[
Ctt_to_ptree
]
convert_statement
[
Ctt_to_ptree
]
convert_struct_declaration
[
Ctt_to_ptree
]
convert_struct_field
[
Ctt_to_ptree
]
convert_target
[
Decompose_ssa
]
convert_type
[
Ctt_reduce_mdarray
]
cvt_binop
[
Separate_side_effect
]
cvt_binop
[
C_typing
]
D
debug
[
C_parserhelper
]
decl_to_type
[
C_typing
]
declare_enum
[
C_typing
]
declare_struct
[
C_typing
]
define_anonymous_struct
[
C_typing
]
define_enum
[
C_typing
]
define_enum_item
[
C_typing
]
define_named_struct
[
C_typing
]
defines_desc
[
Separate_side_effect
]
defines_il0
[
Separate_side_effect
]
depends_desc
[
Separate_side_effect
]
depends_il0
[
Separate_side_effect
]
depends_il0expr
[
Separate_side_effect
]
depends_il0lvalue
[
Separate_side_effect
]
do_option
[
Option
]
dominate
[
Ssa
]
dummy_loc
[
Ctt_to_ptree
]
E
eliminate_redundant_move
[
Ssa
]
eliminate_unreachable
[
Flatten_statement
]
eliminate_unused_variable
[
Ssa
]
empty
[
Set_list
]
empty
[
PropList
]
empty_environment
[
C_typing
]
enclose_parallel
[
Separate_side_effect
]
enclose_sequence
[
Separate_side_effect
]
encode_c_string
[
Ctt_to_ptree
]
ensure_integer
[
C_typing
]
ensure_not_void
[
C_typing
]
ensure_numeric
[
C_typing
]
ensure_same_type
[
C_typing
]
ensure_sized_pointer
[
C_typing
]
enter_identifier_scope
[
C_parserhelper
]
enter_merge_identifier_scope
[
C_parserhelper
]
equal_type
[
C_typing
]
exp_constant_one
[
C_typing
]
exp_constant_one_ptrdiff_t
[
C_typing
]
exp_constant_zero
[
C_typing
]
extend_local_frame_env
[
C_typing
]
F
filecnt
[
C_parserhelper
]
filename
[
C_parserhelper
]
find_assignment_node
[
Ssa
]
find_dominance_frontier
[
Ssa
]
find_dominator
[
Ssa
]
find_loop
[
Ssa
]
find_struct_name
[
Ctt_to_ptree
]
fold_constants
[
C_typing
]
G
gentemp
[
Separate_side_effect
]
gentemp_read
[
Separate_side_effect
]
get
[
PropList
]
get_address_of
[
Ssa
]
get_argument_name
[
Decompose_ssa
]
get_field_type
[
C_typing
]
get_field_type_from_desc
[
C_typing
]
get_integer_constant_value
[
C_typing
]
get_max_value_of_type
[
Ctt_abstree
]
get_operator_fa
[
Reduce
]
get_operator_fc
[
Reduce
]
get_operator_i
[
Reduce
]
get_return_type
[
C_typing
]
get_struct_desc
[
C_typing
]
get_type_qualifiers
[
Ctt_to_ptree
]
get_type_qualifiers_speclist
[
Ctt_to_ptree
]
H
has_intersection
[
Set_list
]
hasnobranch_desc
[
Separate_side_effect
]
hoist_declaration
[
Ssa
]
I
id
[
Expunge_localstatic
]
identifier_of
[
C_lexer
]
indent
[
Ctt_printer
]
insert_phi_function
[
Ssa
]
int_const_64
[
Parse_const
]
int_of_16_char
[
Parse_const
]
intersection
[
Set_list
]
is_constant_null
[
C_typing
]
is_constant_zero
[
C_typing
]
is_floating_arithmetic_operator
[
Reduce
]
is_next_list_stream
[
C_typing
]
is_next_string_stream
[
C_typing
]
is_numeric
[
C_typing
]
is_pointer_nonnull
[
C_typing
]
is_pointer_or_null
[
C_typing
]
is_printable
[
Ctt_to_ptree
]
is_scalar
[
Ssa
]
is_sized_pointer
[
C_typing
]
is_typedef_name
[
C_parserhelper
]
is_union
[
Ctt_to_ptree
]
is_void_pointer
[
C_typing
]
isempty_stream
[
C_typing
]
iter
[
Set_list
]
iter
[
Option
]
iter_read_expr
[
Ssa
]
iter_read_il
[
Ssa
]
iter_read_lvalue
[
Ssa
]
L
label_counter
[
Separate_side_effect
]
label_direct
[
Decompose_ssa
]
label_trampoline
[
Decompose_ssa
]
land_big_int
[
Parse_const
]
leave_and_save_identifier_scope
[
C_parserhelper
]
leave_identifier_scope
[
C_parserhelper
]
lex_tables
[
C_lexer
]
lineno
[
C_parserhelper
]
list_between
[
C_parserhelper
]
list_map_ordered
[
Ctt_visitor
]
lno_table
[
C_parserhelper
]
loc_of_p
[
C_typing
]
lookup_location
[
C_parserhelper
]
lookup_var_type
[
C_typing
]
lookup_var_type_from_global
[
C_typing
]
lookup_var_type_from_local
[
C_typing
]
lor_big_int
[
Parse_const
]
lsl_big_int
[
Parse_const
]
lsr_big_int
[
Parse_const
]
lxor_big_int
[
Parse_const
]
M
make_basic_block
[
Flatten_statement
]
make_c_type
[
Ctt_abstree
]
make_c_type_ql
[
Ctt_abstree
]
make_compact
[
Ssa
]
make_decl
[
Ctt_to_ptree
]
make_dominance_tree
[
Ssa
]
make_expr
[
Ctt_to_ptree
]
make_expr
[
Ctt_abstree
]
make_expr_l
[
Ctt_to_ptree
]
make_expr_p
[
C_typing
]
make_expr_t
[
C_typing
]
make_il0
[
Separate_side_effect
]
make_incomplete_struct_definition
[
C_typing
]
make_label
[
Separate_side_effect
]
make_new_struct_id
[
C_typing
]
make_new_tag
[
PropList
]
make_null_pointer
[
C_typing
]
make_phi_assigns
[
Decompose_ssa
]
make_ssa
[
Ssa
]
make_stmt
[
Ctt_to_ptree
]
make_stream
[
C_typing
]
make_struct_declarations
[
Ctt_to_ptree
]
map
[
Option
]
map_expr
[
Ssa
]
map_il
[
Ssa
]
map_lvalue
[
Ssa
]
match_parameter_type
[
Ssa
]
max_bitfield_width
[
Config
]
mem
[
Set_list
]
mem
[
PropList
]
N
name_table
[
C_parserhelper
]
new_tempid
[
Separate_side_effect
]
null_variable_attribute
[
Ssa
]
O
of_list
[
Set_list
]
P
parse_argtypes
[
C_typing
]
parse_argtypes_iter
[
C_typing
]
parse_constant
[
Parse_const
]
parse_enum_definition
[
C_typing
]
parse_global_declarations
[
C_typing
]
parse_global_declarators
[
C_typing
]
parse_initialization
[
C_typing
]
parse_integer
[
Parse_const
]
parse_list_initializations
[
C_typing
]
parse_local_declarations
[
C_typing
]
parse_local_declarators
[
C_typing
]
parse_newline
[
C_lexer
]
parse_sharp_position_directive
[
C_lexer
]
parse_struct_definition
[
C_typing
]
parse_struct_initializations
[
C_typing
]
peek_stream
[
C_typing
]
phase1
[
Decompose_ssa
]
phase2
[
Decompose_ssa
]
pop
[
C_parserhelper
]
pop_stream
[
C_typing
]
pp_print_argument_list
[
C_pp
]
pp_print_binop
[
C_pp
]
pp_print_builtin_typespec
[
C_pp
]
pp_print_constant
[
C_pp
]
pp_print_constant_expression
[
C_pp
]
pp_print_declaration
[
C_pp
]
pp_print_declarator
[
C_pp
]
pp_print_enum_entry
[
C_pp
]
pp_print_enum_list
[
C_pp
]
pp_print_expression
[
C_pp
]
pp_print_expression_iter
[
C_pp
]
pp_print_identifier
[
C_pp
]
pp_print_initdeclarator
[
C_pp
]
pp_print_initializer
[
C_pp
]
pp_print_list
[
C_pp
]
pp_print_option
[
C_pp
]
pp_print_option_with_sep
[
C_pp
]
pp_print_paramdecl
[
C_pp
]
pp_print_program
[
C_pp
]
pp_print_sep_comma
[
C_pp
]
pp_print_sep_newline
[
C_pp
]
pp_print_sep_space
[
C_pp
]
pp_print_sq
[
C_pp
]
pp_print_sqlist
[
C_pp
]
pp_print_statement
[
C_pp
]
pp_print_storageclass
[
C_pp
]
pp_print_struct_declaration
[
C_pp
]
pp_print_struct_declaration_list
[
C_pp
]
pp_print_struct_declarator
[
C_pp
]
pp_print_struct_or_union
[
C_pp
]
pp_print_typename
[
C_pp
]
pp_print_typequal
[
C_pp
]
pp_print_typespec
[
C_pp
]
pp_print_unaryop
[
C_pp
]
print_basic_block
[
Flatten_statement
]
print_binary_operator
[
Ssa
]
print_binary_operator
[
Separate_side_effect
]
print_binary_operator
[
Ctt_printer
]
print_builtin_type
[
Ctt_printer
]
print_c_constants
[
Ctt_printer
]
print_c_type
[
Ctt_printer
]
print_ctt_initializer
[
Ctt_printer
]
print_cttm_initializer
[
Ctt_printer
]
print_dominance_tree
[
Ssa
]
print_expr
[
Ssa
]
print_expr
[
Ctt_printer
]
print_field
[
Ssa
]
print_function
[
Flatten_statement
]
print_global_declaration
[
Ctt_printer
]
print_id
[
Ssa
]
print_il
[
Ssa
]
print_il0
[
Separate_side_effect
]
print_il0expr
[
Separate_side_effect
]
print_il0lv
[
Separate_side_effect
]
print_il1
[
Flatten_statement
]
print_il_basic_block
[
Ssa
]
print_list
[
Ctt_printer
]
print_local_storage_class
[
Ctt_printer
]
print_lvalue
[
Ssa
]
print_lvalue_field
[
Ssa
]
print_mexpr
[
Ctt_printer
]
print_stmt
[
Ctt_printer
]
print_tempid
[
Separate_side_effect
]
print_unary_operator
[
Ctt_printer
]
print_variable_declaration
[
Ctt_printer
]
promote_KandR
[
C_typing
]
promote_variable
[
Ssa
]
push
[
C_parserhelper
]
put
[
PropList
]
Q
qual_dcare
[
C_typing
]
qual_eq
[
C_typing
]
qual_gt
[
C_typing
]
qual_lt
[
C_typing
]
R
read
[
Test_read
]
read_chan
[
Test_read
]
reduce_environment
[
Ctt_reduce_mdarray
]
reduce_expr
[
Ctt_reduce_mdarray
]
reduce_expression
[
Reduce
]
reduce_gdecl
[
Expunge_localstatic
]
reduce_gdecl
[
Ctt_reduce_mdarray
]
reduce_initializer
[
Ctt_reduce_mdarray
]
reduce_ldecl
[
Ctt_reduce_mdarray
]
reduce_ldecls
[
Expunge_localstatic
]
reduce_program
[
Expunge_localstatic
]
reduce_program
[
Ctt_reduce_mdarray
]
reduce_statement
[
Ctt_reduce_mdarray
]
reduce_stmt
[
Expunge_localstatic
]
reduce_struct_desc
[
Ctt_reduce_mdarray
]
reduce_struct_field
[
Ctt_reduce_mdarray
]
reduce_struct_initializations
[
Ctt_reduce_mdarray
]
reduce_variable_type
[
Ctt_reduce_mdarray
]
register_linestart
[
C_parserhelper
]
remove_quotes
[
C_lexer
]
replace_label
[
Separate_side_effect
]
replace_label_localdecl
[
Separate_side_effect
]
reset
[
C_parserhelper
]
resolv_function_type
[
C_typing
]
S
scope_stack
[
C_parserhelper
]
separate_last_branch
[
Decompose_ssa
]
separate_sequence
[
Separate_side_effect
]
set_struct_desc
[
C_typing
]
shrink_local_frame_env
[
C_typing
]
singleton
[
Set_list
]
size_of_builtin_type
[
Ctt_abstree
]
size_of_type
[
C_typing
]
sizeof_char
[
Config
]
sizeof_double
[
Config
]
sizeof_float
[
Config
]
sizeof_int
[
Config
]
sizeof_long
[
Config
]
sizeof_longdouble
[
Config
]
sizeof_longlong
[
Config
]
sizeof_pointer
[
Config
]
sizeof_short
[
Config
]
specs_to_type
[
C_typing
]
split_basic_block
[
Flatten_statement
]
split_list_at_nth
[
C_typing
]
ssa_transform
[
Ssa
]
ssa_transform_function
[
Ssa
]
string_of_string_list
[
Ctt_printer
]
subset_qualifiers
[
C_typing
]
subtract
[
Set_list
]
symbol_of
[
C_lexer
]
T
to_list
[
Set_list
]
token
[
C_lexer
]
topological_sort
[
Topological_sort
]
translate
[
Cttm_abstree
]
translate_address
[
Cttm_abstree
]
translate_assign
[
Cttm_abstree
]
translate_declaration
[
Cttm_abstree
]
translate_field
[
Cttm_abstree
]
translate_initializer
[
Cttm_abstree
]
translate_invoke_lhs
[
Cttm_abstree
]
translate_lvalue
[
Separate_side_effect
]
translate_mexpr
[
Separate_side_effect
]
translate_program
[
Flatten_statement
]
translate_program_to_il0
[
Separate_side_effect
]
translate_statement
[
Flatten_statement
]
translation_unit
[
C_parser
]
type_boolean
[
Ctt_abstree
]
type_char
[
Ctt_abstree
]
type_char_array
[
Ctt_abstree
]
type_double
[
Ctt_abstree
]
type_float
[
Ctt_abstree
]
type_int
[
Ctt_abstree
]
type_long
[
Ctt_abstree
]
type_long_double
[
Ctt_abstree
]
type_long_long
[
Ctt_abstree
]
type_of
[
C_typing
]
type_of_typename
[
C_typing
]
type_ptrdiff_t
[
Ctt_abstree
]
type_short
[
Ctt_abstree
]
type_signed_char
[
Ctt_abstree
]
type_size_t
[
Ctt_abstree
]
type_unsigned_char
[
Ctt_abstree
]
type_unsigned_int
[
Ctt_abstree
]
type_unsigned_long
[
Ctt_abstree
]
type_unsigned_long_long
[
Ctt_abstree
]
type_unsigned_short
[
Ctt_abstree
]
type_void
[
Ctt_abstree
]
U
union
[
Set_list
]
union_list
[
Separate_side_effect
]
unquote_string
[
Parse_const
]
V
var_seqno
[
C_typing
]
visit_expr
[
Ctt_visitor
]
visit_statement
[
Ctt_visitor
]
void_spectreelist
[
Ctt_to_ptree
]
W
which
[
Ssa
]