Index of exceptions


B
Base_aligned_error [Builtins_nonfree]

C
Cannot_find_lv [Eval_exprs]

D
Distinguishable_strings [Eval_exprs]
Does_not_improve [Eval_logic]

F
Found_misaligned_base [Builtins]

G
Got_bottom [Eval_stmts]

I
Initialization_failed [Initial_state]
Invalid_CEA_alloc [Builtins]
Invalid_CEA_alloc_infinite [Builtins]

L
Leaf [Eval_exprs]

M
Memcpy_result [Builtins_nonfree]

N
No_such_behavior [Eval_logic.ActiveBehaviors]
Not_an_exact_loc [Eval_logic]
Not_an_exact_loc [Eval_exprs]
Not_found_lonely_key [Builtins]

O
Offset_error [Builtins_nonfree]
Offset_not_based_on_Null [Eval_exprs]

P
Predicate_alarm [Eval_logic]

R
Reduce_to_bottom [Eval_exprs]

S
Stop [Eval_logic]

T
Too_linear [Eval_exprs]
Top_input [Register]

W
Wrong_function_type [Eval_stmts]