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] | |
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.
|
M | |
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] | |
R | |
Register |
Internal State
|
Register [Sparecode] | |
Result [Register] | |
Result [Globs] | |
Result_pair [Register] | |
S | |
Set [Datatype.S_with_collections] | |
Spare_marks |
Useful mainly if there has been some Pdg.Top
|
Sparecode |
Sparecode analysis.
|
Sparecode_params |
Whether to perform spare code detection or not.
|
T | |
Transform |