Index of values

A
accessor [Generator.S]
all_statuses [Generator]
annotate_kf [Visit]

Generates RTE for a single function.

C
compute [Visit]

Main entry point of the plug-in, used by -rte option: computes RTE on the whole AST.

D
divmod_assertion [Rte]
do_all_rte [Visit]

Generates all RTEs for a given function.

do_exp_annotations [Visit]
do_precond [Visit]

Generates preconditions RTE for a given function.

do_rte [Visit]

Generates all RTEs except preconditions for a given function.

do_stmt_annotations [Visit]
E
emitter [Generator]
exists [Parameter_sig.Set]

Is there some element satisfying the given predicate?

F
finite_float_assertion [Rte]
float_to_int_assertion [Rte]
I
is_computed [Generator.S]
J
journal_register [Register]
L
lval_assertion [Rte]
lval_initialized_assertion [Rte]
M
main [Register]
mem [Parameter_sig.Set]

Does the given element belong to the set?

mult_sub_add_assertion [Rte]
N
nojournal_register [Register]
O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

P
pointer_call [Rte]
R
rte_annotations [Visit]
S
set [Generator.S]
shift_overflow_assertion [Rte]
shift_width_assertion [Rte]
signed_div_assertion [Rte]
signed_downcast_assertion [Rte]
U
uminus_assertion [Rte]
unsigned_downcast_assertion [Rte]
W
warn [Options]