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

C
Config [Marks]

G
GlobDecl [Sparecode_params]
remove unused global types and variables
Globs

I
Info [Transform]

K
KfTopVisi [Marks]

M
M [Marks.Config]
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).

P
P [Register]
ProjBoolMarks [Marks]

R
Register
Internal State
Result [Register]
Result [Globs]
Result_pair [Register]

S
Sparecode_params
Whether to perform spare code detection or not.

T
Transform