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.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 "procedure_call"
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 "procedure_call"
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_foreign"
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 "procedure_call"
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:15:7: Error: Tasking_Stmts: use of statement "selective_accept"
t_statements.adb:16:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:17:13: Error: Tasking_Stmts: use of statement "requeue"
t_statements.adb:20:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:21:13: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:23:10: Error: Tasking_Stmts: use of statement "terminate"
t_statements.adb:35:7: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:43:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:41:10
t_statements.adb:66:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:64:13
t_statements.adb:46:2: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:46:2: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:46:2: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:52:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:50:16
t_statements.adb:49:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:52:13: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:62:12: Found: Sequential_Stmts: use of "when others" exception handler
t_statements.adb:77:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:73:10
t_statements.adb:73:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:74:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:86:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:84:10
t_statements.adb:86:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:87:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:97:10: Found: Sequential_Stmts: use of statement "entry_return"
t_statements.adb:114:10: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:114:10: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:114:10: Found: Sequential_Stmts: use of statement "redispatching_call"
t_statements.adb:130:16: Found: Sequential_Stmts: return statement already given at t_statements.adb:128:10
t_statements.adb:135:7: Found: Sequential_Stmts: return statement already given at t_statements.adb:128:10
t_statements.adb:138:3: Found: Sequential_Stmts: return statement already given at t_statements.adb:128:10
t_statements.adb:126:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:126:7: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:128:10: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:128:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:128:10: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:132:13
t_statements.adb:129:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:130:16: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:132:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:132:13: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:132:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:132:13: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:135:7: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:135:7: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:136:2
t_statements.adb:136:2: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:138:3: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:143:4: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:144:4: Error: Tasking_Stmts: use of statement "delay_until"
t_statements.adb:145:4: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:146:4: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:146:4: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:147:4: Error: Tasking_Stmts: use of statement "abort"
t_statements.adb:149:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:149:4: Error: Loop_Stmts: use of statement "unnamed_simple_loop"
t_statements.adb:150:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:150:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:150:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:150:7: Found: Sequential_Stmts: use of statement "unnamed_loop_exited"
t_statements.adb:152:1: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:155:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:154:7
t_statements.adb:156:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:154:7
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 "unnamed_exit"
t_statements.adb:155:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:155:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:155:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:155:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:156:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:156:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:156:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:156:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:156:7: Error: Loop_Stmts: use of statement "exit_expanded_name"
t_statements.adb:159:4: Error: Tasking_Stmts: use of statement "asynchronous_select"
t_statements.adb:160:7: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:162:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:162:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:167:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:168:12: Found: Sequential_Stmts: null "when others" in "case" statement
t_statements.adb:169:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:174:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:175:12: Found: Sequential_Stmts: use of "when others" in "case" statement
t_statements.adb:181:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:183:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:184:18: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:187:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:188:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:191:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:191:4: Found: Sequential_Stmts: use of statement "if_elsif"
t_statements.adb:192:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:194:6: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:197:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:198:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:200:12: Found: Sequential_Stmts: null "when others" exception handler
t_statements.adb:201:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:204:4: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:204:4: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:204:21: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:206:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:206:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:206:4: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:206:4: Found: Sequential_Stmts: use of statement "untyped_for_in"
t_statements.adb:206:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:206:24: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:207:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:207:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:207:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:207:38: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:213:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:213:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:213:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:214:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:217:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:217:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:217:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:218:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:219:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:219:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:217:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:219:7
t_statements.adb:219:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:220:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:225:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:225:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:227:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:227:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:227:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:228:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:232:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:232:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:232:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:234:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:232:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:234:7
t_statements.adb:235:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:239:1: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:239:1: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:241:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:242:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:246:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:246:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:246:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:248:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:246:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:248:7
t_statements.adb:249:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:251:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:251:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:251:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:252:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:257:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:257:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:257:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:257:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:260:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:260:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:260:7: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:260:7: Found: Sequential_Stmts: use of statement "untyped_for_of"
t_statements.adb:260:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:261:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:264:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:264:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:265:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:270:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:270:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:270:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:270:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:275:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:275:7: Error: Loop_Stmts: use of statement "for_iterator_loop"
t_statements.adb:275:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:276:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:282:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:282:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:282:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:283:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:283:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:283:7: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:283:7: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:284:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:284:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:284:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:282:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:284:10
t_statements.adb:284:10: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:285:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:290:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:290:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:290:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:291:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:291:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:292:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:295:13: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:295:13: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:295:13: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:290:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:295:13
t_statements.adb:295:13: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:296:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:301:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:301:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:301:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:302:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:302:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:302:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:302:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:305:13: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:305:13: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:305:13: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:306:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:310:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:314:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:314:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:314:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:314:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:321:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:321:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:321:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:322:13: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:323:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:323:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:323:16: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:324:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:329:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:330:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:331:10: Error: Tasking_Stmts: use of statement "conditional_entry_call"
t_statements.adb:332:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:334:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:336:10: Error: Tasking_Stmts: use of statement "timed_entry_call"
t_statements.adb:337:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:338:13: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:342:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:345:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:390:10: Error: Loop_Stmts: exit statement already given at t_statements.adb:346:7
t_statements.adb:393:13: Error: Loop_Stmts: exit statement already given at t_statements.adb:346:7
t_statements.adb:346:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:346:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:346:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:347:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:347:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:347:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:347:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:351:13: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:379:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:377:16
t_statements.adb:382:22: Error: Loop_Stmts: exit statement already given at t_statements.adb:377:16
t_statements.adb:352:16: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:352:16: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:352:16: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:352:16: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:360:25: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:361:28: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:362:31: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:362:31: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:362:31: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:363:34: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:364:37: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:364:37: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:368:28: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:368:28: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:368:28: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:368:28: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:372:22: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:375:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:377:16: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:377:16: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:377:16: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:378:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:378:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:378:16: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:378:16: Found: Sequential_Stmts: use of statement "untyped_for_in"
t_statements.adb:385:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:383:22
t_statements.adb:379:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:379:19: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:379:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:379:19: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:379:19: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:351:13
t_statements.adb:380:19: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:380:19: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:380:19: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:381:22: Error: Loop_Stmts: use of statement "exit_while_loop"
t_statements.adb:381:22: Found: Sequential_Stmts: use of statement "unnamed_loop_exited"
t_statements.adb:382:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:382:22: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:382:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:382:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:351:13
t_statements.adb:383:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:383:22: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:383:22: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:383:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:383:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:378:16
t_statements.adb:385:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:385:19: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:385:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:385:19: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:390:10: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:390:10: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:390:10: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:390:10: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:393:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:393:13: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:393:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:393:13: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:397:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:397:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:397:4: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:397:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:398:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:400:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:400:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:400:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:403:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:405:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:405:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:405:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:405:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:411:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:413:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:413:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:413:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:413:4: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:413:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:415:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:418:4: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:418:4: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:420:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:420:1: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:420:1: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:456:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:457:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:458:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:458:7: Found: Sequential_Stmts: use of statement "inherited_procedure_call"
t_statements.adb:459:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:460:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:460:7: Found: Sequential_Stmts: use of statement "dynamic_procedure_call"
t_statements.adb:461:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:461:7: Found: Sequential_Stmts: use of statement "dynamic_procedure_call"
t_statements.adb:464:4: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:464:4: Found: Sequential_Stmts: use of statement "dynamic_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: 219
Case_Count: 3
If_Count: 9
