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
|
| 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 |