Index of values


A
add [Spare_marks.KfTopVisi]
add [State_builder.Hashtbl]
Add a new binding.
add_node_to_select [Spare_marks]
add_nodes_and_undef_to_select [Spare_marks]
add_pdg_selection [Spare_marks]
Doesn't mark yet, but add what has to be marked in the selection, and keep things sorted.
annotation_visible [Transform.BoolInfo]

B
body_visible [Transform.BoolInfo]
bottom [Spare_marks.BoolMark]
build_cil_file [Filter.F]

C
call_in_to_check [Spare_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 [Spare_marks]
the call is visible if its control node is visible
called_info [Transform.BoolInfo]
called_top [Spare_marks]
clear [State_builder.Hashtbl]
Clear the table.
clear_tables [Globs]
combine [Spare_marks.BoolMark]
cond_edge_visible [Transform.BoolInfo]
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.

D
debug [Spare_marks]
debug [Globs]
debug' [Globs]
dkey [Globs]

E
equal [Spare_marks.BoolMark]

F
fatal [Spare_marks]
fct_info [Transform.BoolInfo]
fct_name [Transform.BoolInfo]
finalize [Spare_marks]
find [Spare_marks.KfTopVisi]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
fun_allocates_visible [Transform.BoolInfo]
fun_assign_visible [Transform.BoolInfo]
fun_deps_visible [Transform.BoolInfo]
fun_frees_visible [Transform.BoolInfo]
fun_postcond_visible [Transform.BoolInfo]
fun_precond_visible [Transform.BoolInfo]
fun_variant_visible [Transform.BoolInfo]

G
get [Register]
get [Spare_marks.KfTopVisi]
get_marks [Spare_marks]

I
inst_visible [Transform.BoolInfo]
is_bottom [Spare_marks.BoolMark]
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]

J
journalized_get [Register]
journalized_rm_unused_globals [Register]

K
key_visible [Transform.BoolInfo]
key_visible [Spare_marks]
kf_visible [Spare_marks]
Useful only if there has been some Pdg.Top

L
label_visible [Transform.BoolInfo]
length [State_builder.Hashtbl]
Length of the table.
loc_var_visible [Transform.BoolInfo]

M
main [Register]
make_type [Datatype.Hashtbl]
mark_to_prop_to_called_output [Spare_marks.Config]
mark_to_prop_to_caller_input [Spare_marks.Config]
mem [State_builder.Hashtbl]
memo [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
memo [State_builder.Hashtbl]
Memoization.
merge [Spare_marks.BoolMark]
mk [Spare_marks.BoolMark]

N
new_project [Spare_marks]

P
param_visible [Transform.BoolInfo]
pretty [Spare_marks.BoolMark]
process_call_inputs [Spare_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.
proj_marks [Spare_marks]

R
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]
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 [Spare_marks]
select_annotations [Spare_marks]
select_entry_point [Spare_marks]
select_pdg_elements [Spare_marks]
Mark the function as visible and add the marks according to the selection.
select_useful_things [Spare_marks]
set [Spare_marks.KfTopVisi]
as soon as a TOP function is called, all its callees are called.

T
term_visible [Transform.BoolInfo]
top [Spare_marks.BoolMark]

U
unjournalized_rm_unused_globals [Register]
used_compinfo [Globs]
used_enuminfo [Globs]
used_typeinfo [Globs]
used_variables [Globs]

V
var_init [Globs]
visible [Spare_marks.BoolMark]