Index of values

B
build_cil_file [Transform.Info]
G
get [Register]

Remove in each function what isn't used to compute its outputs, or its annotations when select_annot is true, or its slicing pragmas when select_slice_pragmas is true.

get [Sparecode.Register]

Remove in each function what isn't used to compute its outputs, or its annotations when select_annot is true, or its slicing pragmas when select_slice_pragmas is true.

get_marks [Spare_marks]
K
key_visible [Spare_marks]
kf_visible [Spare_marks]

Useful mainly if there has been some Pdg.Top

O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

R
rm_unused_decl [Globs]
rm_unused_globals [Register]

Remove unused global types and variables from the given project (the current one if no project given).

rm_unused_globals [Sparecode.Register]

Remove unused global types and variables from the given project (the current one if no project given).

S
select_useful_things [Spare_marks]