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