Index of modules


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