t_statements-test_raise-pack1.adb:4:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise-pack1.adb:4:4: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise-pack1.adb:5:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise-pack1.adb:5:4: Found: Sequential_Stmts: use of statement "raise_nonpublic"
t_statements-test_raise.adb:20:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:20:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:21:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:21:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:21:7: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:34:7
t_statements-test_raise.adb:23:7: Error: Tasking_Stmts: use of statement "accept"
t_statements-test_raise.adb:24:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:25:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:26:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:26:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:27:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:27:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:28:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:28:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:28:10: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:30:10
t_statements-test_raise.adb:31:13: Found: Sequential_Stmts: use of statement "null"
t_statements-test_raise.adb:35:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:35:10: Found: Sequential_Stmts: use of statement "reraise"
t_statements-test_raise.adb:40:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:40:4: Found: Sequential_Stmts: use of statement "raise_nonpublic"
t_statements-test_raise.adb:42:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:42:4: Found: Sequential_Stmts: use of statement "raise_nonpublic"
t_statements-test_raise.adb:43:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:43:4: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:43:4: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:77:4
t_statements-test_raise.adb:44:4: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:44:4: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:46:4: Found: Sequential_Stmts: use of statement "block"
t_statements-test_raise.adb:46:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements-test_raise.adb:46:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements-test_raise.adb:46:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements-test_raise.adb:50:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:50:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:50:10: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:77:4
t_statements-test_raise.adb:51:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:51:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:51:10: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:54:10
t_statements-test_raise.adb:52:10: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:52:10: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:55:13: Found: Sequential_Stmts: use of statement "reraise"
t_statements-test_raise.adb:58:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:58:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:58:7: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:65:7
t_statements-test_raise.adb:59:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:59:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:59:7: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:63:7
t_statements-test_raise.adb:60:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:60:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:60:7: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:79:4
t_statements-test_raise.adb:61:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:61:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:64:10: Found: Sequential_Stmts: use of statement "null"
t_statements-test_raise.adb:66:10: Found: Sequential_Stmts: use of statement "null"
t_statements-test_raise.adb:69:4: Found: Sequential_Stmts: use of statement "block"
t_statements-test_raise.adb:69:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements-test_raise.adb:70:7: Found: Sequential_Stmts: use of statement "raise"
t_statements-test_raise.adb:70:7: Found: Sequential_Stmts: use of statement "raise_standard"
t_statements-test_raise.adb:70:7: Found: Sequential_Stmts: use of statement "raise_locally_handled", handler at t_statements-test_raise.adb:72:7
t_statements-test_raise.adb:72:12: Found: Sequential_Stmts: null "when others" exception handler
t_statements-test_raise.adb:73:10: Found: Sequential_Stmts: use of statement "null"
t_statements-test_raise.adb:78:7: Found: Sequential_Stmts: use of statement "null"
t_statements-test_raise.adb:80:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:13:7: Error: Tasking_Stmts: use of statement "selective_accept"
t_statements.adb:14:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:15:13: Error: Tasking_Stmts: use of statement "requeue"
t_statements.adb:18:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:19:13: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:21:10: Error: Tasking_Stmts: use of statement "terminate"
t_statements.adb:33:7: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:41:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:39:10
t_statements.adb:64:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:62:13
t_statements.adb:44:2: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:44:2: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:44:2: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:50:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:48:16
t_statements.adb:47:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:50:13: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:60:12: Found: Sequential_Stmts: use of "when others" exception handler
t_statements.adb:75:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:71:10
t_statements.adb:71:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:72:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:84:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:82:10
t_statements.adb:84:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:85:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:95:10: Found: Sequential_Stmts: use of statement "entry_return"
t_statements.adb:109:18: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:109:18: Found: Sequential_Stmts: use of statement "redispatching_call"
t_statements.adb:112:10: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:112:10: Found: Sequential_Stmts: use of statement "redispatching_call"
t_statements.adb:128:16: Found: Sequential_Stmts: return statement already given at t_statements.adb:126:10
t_statements.adb:133:7: Found: Sequential_Stmts: return statement already given at t_statements.adb:126:10
t_statements.adb:136:3: Found: Sequential_Stmts: return statement already given at t_statements.adb:126:10
t_statements.adb:124:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:124:7: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:126:10: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:126:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:126:10: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:130:13
t_statements.adb:127:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:128:16: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:130:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:130:13: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:130:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:130:13: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:133:7: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:133:7: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:134:2
t_statements.adb:134:2: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:136:3: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:141:4: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:142:4: Error: Tasking_Stmts: use of statement "delay_until"
t_statements.adb:143:4: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:144:4: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:144:4: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:145:4: Error: Tasking_Stmts: use of statement "abort"
t_statements.adb:147:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:147:4: Error: Loop_Stmts: use of statement "unnamed_simple_loop"
t_statements.adb:148:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:148:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:148:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:148:7: Found: Sequential_Stmts: use of statement "unnamed_loop_exited"
t_statements.adb:150:1: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:153:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:152:7
t_statements.adb:154:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:152:7
t_statements.adb:152:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:152:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:152:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:152:7: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:153:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:153:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:153:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:153:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:154:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:154:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:154:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:154:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:154:7: Error: Loop_Stmts: use of statement "exit_expanded_name"
t_statements.adb:157:4: Error: Tasking_Stmts: use of statement "asynchronous_select"
t_statements.adb:158:7: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:160:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:160:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:165:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:166:12: Found: Sequential_Stmts: null "when others" in "case" statement
t_statements.adb:167:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:172:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:173:12: Found: Sequential_Stmts: use of "when others" in "case" statement
t_statements.adb:179:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:181:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:182:18: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:185:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:186:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:189:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:189:4: Found: Sequential_Stmts: use of statement "if_elsif"
t_statements.adb:190:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:192:6: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:195:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:196:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:198:12: Found: Sequential_Stmts: null "when others" exception handler
t_statements.adb:199:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:202:4: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:202:4: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:202:21: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:204:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:204:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:204:4: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:204:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:204:24: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:205:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:205:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:205:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:205:38: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:211:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:211:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:211:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:215:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:215:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:215:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:217:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:217:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:215:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:217:7
t_statements.adb:217:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:218:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:223:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:223:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:225:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:225:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:225:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:226:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:230:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:230:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:230:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:232:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:230:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:232:7
t_statements.adb:233:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:237:1: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:237:1: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:239:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:240:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:244:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:244:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:244:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:246:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:244:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:246:7
t_statements.adb:247:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:249:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:249:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:249:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:250:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:255:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:255:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:255:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:255:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:258:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:258:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:258:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:259:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:262:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:262:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:263:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:268:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:268:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:268:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:268:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:273:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:273:7: Error: Loop_Stmts: use of statement "for_iterator_loop"
t_statements.adb:273:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:274:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:280:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:280:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:280:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:281:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:281:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:281:7: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:281:7: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:282:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:282:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:282:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:280:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:282:10
t_statements.adb:282:10: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:283:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:288:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:288:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:288:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:289:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:289:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:290:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:293:13: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:293:13: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:293:13: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:288:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:293:13
t_statements.adb:293:13: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:294:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:299:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:299:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:299:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:300:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:300:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:300:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:300:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:303:13: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:303:13: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:303:13: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:304:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:308:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:312:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:312:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:312:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:312:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:319:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:319:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:319:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:320:13: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:321:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:321:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:321:16: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:322:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:327:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:328:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:329:10: Error: Tasking_Stmts: use of statement "conditional_entry_call"
t_statements.adb:330:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:332:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:334:10: Error: Tasking_Stmts: use of statement "timed_entry_call"
t_statements.adb:335:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:336:13: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:340:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:343:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:388:10: Error: Loop_Stmts: exit statement already given at t_statements.adb:344:7
t_statements.adb:391:13: Error: Loop_Stmts: exit statement already given at t_statements.adb:344:7
t_statements.adb:344:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:344:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:344:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:345:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:345:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:345:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:345:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:349:13: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:377:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:375:16
t_statements.adb:380:22: Error: Loop_Stmts: exit statement already given at t_statements.adb:375:16
t_statements.adb:350:16: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:350:16: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:350:16: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:350:16: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:358:25: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:359:28: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:360:31: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:360:31: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:360:31: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:361:34: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:362:37: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:362:37: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:366:28: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:366:28: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:366:28: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:366:28: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:370:22: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:373:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:375:16: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:375:16: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:375:16: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:376:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:376:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:376:16: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:383:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:381:22
t_statements.adb:377:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:377:19: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:377:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:377:19: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:377:19: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:349:13
t_statements.adb:378:19: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:378:19: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:378:19: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:379:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:379:22: Error: Loop_Stmts: use of statement "exit_while_loop"
t_statements.adb:379:22: Found: Sequential_Stmts: use of statement "unnamed_loop_exited"
t_statements.adb:380:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:380:22: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:380:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:380:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:349:13
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:381:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:376:16
t_statements.adb:383:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:383:19: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:383:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:383:19: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:388:10: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:388:10: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:388:10: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:388:10: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:391:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:391:13: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:391:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:391:13: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:395:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:395:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:395:4: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:395:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:396:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:398:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:398:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:398:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:401:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:403:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:403:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:403:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:403:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:409:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:411:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:411:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:411:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:411:4: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:411:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:413:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:416:4: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:417:9: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:419:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:419:1: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:419:1: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:455:7: Found: Sequential_Stmts: use of statement "inherited_procedure_call"
x_statements_raise.adb:6:7: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:7:7: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:7:7: Found: Sequential_Stmts: use of statement "raise_nonpublic"
x_statements_raise.adb:8:7: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:8:7: Found: Sequential_Stmts: use of statement "raise_nonpublic"
x_statements_raise.adb:12:4: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:13:4: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:13:4: Found: Sequential_Stmts: use of statement "raise_nonpublic"
x_statements_raise.adb:14:4: Found: Sequential_Stmts: use of statement "raise"
x_statements_raise.adb:14:4: Found: Sequential_Stmts: use of statement "raise_nonpublic"

Counts summary:
All_Stmts: 217
Case_Count: 3
If_Count: 9
