Index of modules

C
Called_precond [Generator]
D
Div_mod [Generator]
DoCalledPrecond [Options]
DoDivMod [Options]
DoFloatToInt [Options]
DoInitialized [Options]
DoMemAccess [Options]
DoPointerCall [Options]
DoShift [Options]
E
Enabled [Options]
F
Finite_float [Generator]
Float_to_int [Generator]
FunctionSelection [Options]
G
Generator
I
Initialized [Generator]
M
Mem_access [Generator]
O
Options
P
Pointer_call [Generator]
R
Register
Rte
RteGen

No function is directly exported: they are registered in Db.Value.

S
Shift [Generator]
Signed_downcast [Generator]
Signed_overflow [Generator]
T
Trivial [Options]
U
Unsigned_downcast [Generator]
Unsigned_overflow [Generator]
V
Visit

Runtime Error annotation generation plugin

W
Warn [Options]