Index of values
A
add
[
Computation.HASHTBL_OUTPUT
]
Add a new binding.
add_node_to_select
[
Marks
]
add_nodes_and_undef_to_select
[
Marks
]
add_pdg_selection
[
Marks
]
all_keys_visible
[
Marks
]
annotation_visible
[
Transform.BoolInfo
]
B
body_visible
[
Transform.BoolInfo
]
bottom
[
Marks.BoolMark
]
build_cil_file
[
Filter.F
]
C
call_in_to_check
[
Marks
]
when we first compute marks to select outputs, we don't immediately propagate input marks to the calls, because some calls may be useless and we don't want to compute their inputs.
call_visible
[
Marks
]
the call is visible if its control node is visible
called_info
[
Transform.BoolInfo
]
clear
[
Computation.HASHTBL_OUTPUT
]
Clear the table.
clear_tables
[
Globs
]
combine
[
Marks.BoolMark
]
D
debug
[
Marks
]
debug
[
Globs
]
E
equal
[
Marks.BoolMark
]
F
fatal
[
Marks
]
fct_info
[
Transform.BoolInfo
]
fct_name
[
Transform.BoolInfo
]
finalize
[
Marks
]
find
[
Computation.HASHTBL_OUTPUT
]
Return the current binding of the given key.
find_all
[
Computation.HASHTBL_OUTPUT
]
Return the list of all data associated with the given key.
fold
[
Computation.HASHTBL_OUTPUT
]
fun_assign_visible
[
Transform.BoolInfo
]
fun_postcond_visible
[
Transform.BoolInfo
]
fun_precond_visible
[
Transform.BoolInfo
]
fun_variant_visible
[
Transform.BoolInfo
]
G
get
[
Register
]
get_marks
[
Marks
]
I
inst_visible
[
Transform.BoolInfo
]
is_bottom
[
Marks.BoolMark
]
iter
[
Computation.HASHTBL_OUTPUT
]
J
journalized_get
[
Register
]
journalized_rm_unused_globals
[
Register
]
K
key_visible
[
Marks
]
L
label_visible
[
Transform.BoolInfo
]
length
[
Computation.HASHTBL_OUTPUT
]
Length of the table.
loc_var_visible
[
Transform.BoolInfo
]
M
main
[
Register
]
mark_to_prop_to_called_output
[
Marks.Config
]
mark_to_prop_to_caller_input
[
Marks.Config
]
mark_visible
[
Marks
]
mem
[
Computation.HASHTBL_OUTPUT
]
memo
[
Computation.HASHTBL_OUTPUT
]
Memoization.
merge
[
Marks.BoolMark
]
mk
[
Marks.BoolMark
]
P
param_visible
[
Transform.BoolInfo
]
pretty
[
Marks.BoolMark
]
process_call_inputs
[
Marks
]
proj
contains some function marks and
!call_in_to_check
is a list of call input marks to propagate when the call is visible.
R
remove
[
Computation.HASHTBL_OUTPUT
]
replace
[
Computation.HASHTBL_OUTPUT
]
Add a new binding.
res_call_visible
[
Transform.BoolInfo
]
result_visible
[
Transform.BoolInfo
]
rm_unused_decl
[
Globs
]
rm_unused_globals
[
Register
]
run
[
Register
]
S
select_all_outputs
[
Marks
]
select_annotations
[
Marks
]
select_entry_point
[
Marks
]
select_pdg_elements
[
Marks
]
select_usefull_things
[
Marks
]
T
top
[
Marks.BoolMark
]
U
unjournalized_rm_unused_globals
[
Register
]
unsafe_find
[
Computation.HASHTBL_OUTPUT
]
Unsafe version of
find
.
used_compinfo
[
Globs
]
used_enuminfo
[
Globs
]
used_typeinfo
[
Globs
]
used_variables
[
Globs
]
V
var_init
[
Globs
]