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 [Spare_marks] | |
C | |
| Config [Spare_marks] | |
G | |
| GlobDecl [Sparecode_params] |
remove unused global types and variables
|
| Globs | |
H | |
| Hashtbl [Datatype.S_with_collections] | |
I | |
| Info [Transform] | |
K | |
| Key [Datatype.Hashtbl] |
Datatype for the keys of the hashtbl.
|
| Key [Datatype.Map] |
Datatype for the keys of the map.
|
| KfTopVisi [Spare_marks] | |
M | |
| M [Spare_marks.Config] | |
| Make [Datatype.Hashtbl] |
Build a datatype of the hashtbl according to the datatype of values in the
hashtbl.
|
| Make [Datatype.Map] |
Build a datatype of the map according to the datatype of values in the
map.
|
| Map [Datatype.S_with_collections] | |
P | |
| P [Register] | |
| ProjBoolMarks [Spare_marks] | |
R | |
| Register |
Internal State
|
| Result [Register] | |
| Result [Globs] | |
| Result_pair [Register] | |
S | |
| Set [Datatype.S_with_collections] | |
| Spare_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).
|
| Sparecode_params |
Whether to perform spare code detection or not.
|
T | |
| Transform |