A | |
Analysis [Sparecode_params] |
Whether to perform spare code detection or not.
|
Annot [Sparecode_params] |
keep more things to keep all reachable annotations.
|
B | |
BoolInfo [Transform] | |
BoolMark [Marks] | |
C | |
Config [Marks] | |
G | |
GlobDecl [Sparecode_params] |
remove unused global types and variables
|
Globs | |
I | |
Info [Transform] | |
K | |
KfTopVisi [Marks] | |
M | |
M [Marks.Config] | |
Marks |
The project is composed of
FctIndex marked with BoolMark
to be used by Pdg.Register.F_Proj , and another table to store if a function
is visible (usefull for Top PDG).
|
P | |
P [Register] | |
ProjBoolMarks [Marks] | |
R | |
Register |
Internal State
|
Result [Register] | |
Result [Globs] | |
Result_pair [Register] | |
S | |
Sparecode_params |
Whether to perform spare code detection or not.
|
T | |
Transform |