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:14:7: Error: Tasking_Stmts: use of statement "selective_accept"
t_statements.adb:15:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:16:13: Error: Tasking_Stmts: use of statement "requeue"
t_statements.adb:19:10: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:20:13: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:22:10: Error: Tasking_Stmts: use of statement "terminate"
t_statements.adb:34:7: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:42:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:40:10
t_statements.adb:65:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:63:13
t_statements.adb:45:2: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:45:2: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:45:2: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:51:13: Found: Sequential_Stmts: return statement already given at t_statements.adb:49:16
t_statements.adb:48:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:51:13: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:61:12: Found: Sequential_Stmts: use of "when others" exception handler
t_statements.adb:76:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:72:10
t_statements.adb:72:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:73:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:85:10: Found: Sequential_Stmts: return statement already given at t_statements.adb:83:10
t_statements.adb:85:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:86:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:96:10: Found: Sequential_Stmts: use of statement "entry_return"
t_statements.adb:113:10: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:113:10: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:113:10: Found: Sequential_Stmts: use of statement "redispatching_call"
t_statements.adb:129:16: Found: Sequential_Stmts: return statement already given at t_statements.adb:127:10
t_statements.adb:137:7: Found: Sequential_Stmts: return statement already given at t_statements.adb:127:10
t_statements.adb:140:3: Found: Sequential_Stmts: return statement already given at t_statements.adb:127:10
t_statements.adb:125:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:125:7: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:127:10: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:127:10: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:127:10: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:131:13
t_statements.adb:128:13: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:129:16: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:131:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:131:13: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:131:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:131:13: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:133:10: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:133:10: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:134:10: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:134:10: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:137:7: Found: Sequential_Stmts: use of statement "extended_return"
t_statements.adb:137:7: Found: Sequential_Stmts: use of statement "exited_extended_return", exiting at t_statements.adb:138:2
t_statements.adb:138:2: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:138:2: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:140:3: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:145:4: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:146:4: Error: Tasking_Stmts: use of statement "delay_until"
t_statements.adb:147:4: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:147:4: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:148:4: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:148:4: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:149:4: Error: Tasking_Stmts: use of statement "abort"
t_statements.adb:151:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:151:4: Error: Loop_Stmts: use of statement "unnamed_simple_loop"
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_loop_exited"
t_statements.adb:153:7: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:153:7: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:154:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:154:7: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:156:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:156:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:158:1: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:161:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:160:7
t_statements.adb:162:7: Error: Loop_Stmts: exit statement already given at t_statements.adb:160:7
t_statements.adb:160:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:160:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:160:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:160:7: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:161:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:161:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:161:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:161:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:162:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:162:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:162:7: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:162:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:162:7: Error: Loop_Stmts: use of statement "exit_expanded_name"
t_statements.adb:163:7: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:164:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:167:4: Error: Tasking_Stmts: use of statement "asynchronous_select"
t_statements.adb:168:7: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:170:7: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:170:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:174:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:176:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:175:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:176:12: Found: Sequential_Stmts: null "when others" in "case" statement
t_statements.adb:177:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:181:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:182:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:183:12: Found: Sequential_Stmts: use of "when others" in "case" statement
t_statements.adb:188:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:190:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:192:7: Error: null_stmts: use of statement "null_case_path"
t_statements.adb:189:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:191:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:192:18: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:195:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:195:4: Error: null_stmts: use of statement "null_if_path"
t_statements.adb:196:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:199:4: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:199:4: Found: Sequential_Stmts: use of statement "if_elsif"
t_statements.adb:199:4: Error: null_stmts: use of statement "null_if_path"
t_statements.adb:201:4: Error: null_stmts: use of statement "null_if_path"
t_statements.adb:200:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:202:6: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:205:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:206:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:208:12: Found: Sequential_Stmts: null "when others" exception handler
t_statements.adb:209:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:212:4: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:212:4: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:212:21: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:214:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:214:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:214:4: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:214:4: Found: Sequential_Stmts: use of statement "untyped_for_in"
t_statements.adb:214:4: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:214:24: Found: Sequential_Stmts: use of statement "null"
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: null_stmts: use of statement "null_loop_body"
t_statements.adb:215:38: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:221:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:221:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:221:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:222:7: Found: Sequential_Stmts: use of statement "procedure_call"
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:225:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:226:7: Found: Sequential_Stmts: use of statement "procedure_call"
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: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:225:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:227:7
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:233:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:233:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:235:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:235:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:235:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:235:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:236:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:240:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:240:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:240:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:242:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:242:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:240:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:242:7
t_statements.adb:243:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:247:1: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:247:1: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:249:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:249:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:250:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:254:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:254:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:254:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:256:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:256:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:254:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:256:7
t_statements.adb:257:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:259:7: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:259:7: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:259:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:259:7: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:260:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:265:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:265:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:265:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:265:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:268:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:268:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:268:7: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:268:7: Found: Sequential_Stmts: use of statement "untyped_for_of"
t_statements.adb:268:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:268:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:269:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:272:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:272:7: Error: Loop_Stmts: use of statement "for_of_loop"
t_statements.adb:272:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:273:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:278:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:278:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:278:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:278:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:283:7: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:283:7: Error: Loop_Stmts: use of statement "for_iterator_loop"
t_statements.adb:283:7: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:283:7: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:284:10: 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:291:7: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:291:7: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:292:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:292:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:292:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:292:10: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:290:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:292:10
t_statements.adb:292:10: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:293:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:298:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:298:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:298:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:298:4: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:299:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:299:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:300:10: Found: Sequential_Stmts: use of statement "null"
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:303:13: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:298:4: Found: Sequential_Stmts: Outer loop is not named, inner loop at t_statements.adb:303:13
t_statements.adb:303:13: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:304:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:309:4: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:309:4: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:309:4: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:310:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:310:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:310:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:310:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:313:13: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:313:13: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:313:13: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:313:13: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:314:16: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:318:10: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:322:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:322:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:322:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:322:4: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:329:10: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:329:10: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:329:10: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:330:13: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:331:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:331:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:331:16: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:331:16: Error: null_stmts: use of statement "null_loop_body"
t_statements.adb:332:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:337:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:338:10: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:339:10: Error: Tasking_Stmts: use of statement "conditional_entry_call"
t_statements.adb:340:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:342:13: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:344:10: Error: Tasking_Stmts: use of statement "timed_entry_call"
t_statements.adb:345:13: Error: Tasking_Stmts: use of statement "entry_call"
t_statements.adb:346:13: Error: Tasking_Stmts: use of statement "delay"
t_statements.adb:350:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:353:4: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:398:10: Error: Loop_Stmts: exit statement already given at t_statements.adb:354:7
t_statements.adb:401:13: Error: Loop_Stmts: exit statement already given at t_statements.adb:354:7
t_statements.adb:354:7: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:354:7: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:354:7: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:355:7: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:355:7: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:355:7: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:355:7: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:359:13: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:387:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:385:16
t_statements.adb:390:22: Error: Loop_Stmts: exit statement already given at t_statements.adb:385:16
t_statements.adb:360:16: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:360:16: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:360:16: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:360:16: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:368:25: Error: Loop_Stmts: use of statement "simple_loop"
t_statements.adb:369:28: Error: Tasking_Stmts: use of statement "accept"
t_statements.adb:370:31: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:370:31: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:370:31: Error: Loop_Stmts: use of statement "unnamed_for_loop"
t_statements.adb:371:34: Found: Sequential_Stmts: use of statement "no_else"
t_statements.adb:372:37: Error: Loop_Stmts: use of statement "loop_return"
t_statements.adb:372:37: Found: Sequential_Stmts: use of statement "accept_return"
t_statements.adb:376:28: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:376:28: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:376:28: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:376:28: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:380:22: Found: Sequential_Stmts: use of statement "procedure_return"
t_statements.adb:383:19: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:385:16: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:385:16: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:385:16: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:386:16: Error: Loop_Stmts: use of statement "for_loop"
t_statements.adb:386:16: Error: Loop_Stmts: use of statement "for_in_loop"
t_statements.adb:386:16: Found: Sequential_Stmts: use of statement "untyped_for"
t_statements.adb:386:16: Found: Sequential_Stmts: use of statement "untyped_for_in"
t_statements.adb:393:19: Error: Loop_Stmts: exit statement already given at t_statements.adb:391:22
t_statements.adb:387:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:387:19: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:387:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:387:19: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:387:19: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:359:13
t_statements.adb:388:19: Error: Loop_Stmts: use of statement "while_loop"
t_statements.adb:388:19: Error: Loop_Stmts: use of statement "unnamed_while_loop"
t_statements.adb:388:19: Found: Sequential_Stmts: Nested loop is not named
t_statements.adb:389:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:389:22: Error: Loop_Stmts: use of statement "exit_while_loop"
t_statements.adb:389:22: Found: Sequential_Stmts: use of statement "unnamed_loop_exited"
t_statements.adb:390:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:390:22: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:390:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:390:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:359:13
t_statements.adb:391:22: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:391:22: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:391:22: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:391:22: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:391:22: Error: Loop_Stmts: use of statement "exit_outer_loop", exiting from loop at t_statements.adb:386:16
t_statements.adb:393:19: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:393:19: Error: Loop_Stmts: use of statement "exit_for_loop"
t_statements.adb:393:19: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:393:19: Found: Sequential_Stmts: use of statement "unnamed_exit"
t_statements.adb:398:10: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:398:10: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:398:10: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:398:10: Found: Sequential_Stmts: use of statement "named_exit"
t_statements.adb:401:13: Error: Loop_Stmts: use of statement "exit"
t_statements.adb:401:13: Error: Loop_Stmts: use of statement "exit_plain_loop"
t_statements.adb:401:13: Error: Loop_Stmts: use of statement "unconditional_exit"
t_statements.adb:401:13: Found: Sequential_Stmts: use of statement "unnamed_exit"
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 "simple_block"
t_statements.adb:405:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:406:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:408:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:408:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:408:4: Found: Sequential_Stmts: use of statement "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 "effective_declare_block"
t_statements.adb:419:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:421:4: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:421:4: Found: Sequential_Stmts: use of statement "unnamed_block"
t_statements.adb:421:4: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:421:4: Found: Sequential_Stmts: use of statement "simple_block"
t_statements.adb:421:4: Found: Sequential_Stmts: use of statement "unnamed_simple_block"
t_statements.adb:423:7: Found: Sequential_Stmts: use of statement "null"
t_statements.adb:426:4: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:426:4: Found: Sequential_Stmts: use of statement "dispatching_call"
t_statements.adb:428:1: Found: Sequential_Stmts: use of statement "block"
t_statements.adb:428:1: Found: Sequential_Stmts: use of statement "declare_block"
t_statements.adb:428:1: Found: Sequential_Stmts: use of statement "effective_declare_block"
t_statements.adb:464:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:465:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:466:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:466:7: Found: Sequential_Stmts: use of statement "inherited_procedure_call"
t_statements.adb:467:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:468:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:468:7: Found: Sequential_Stmts: use of statement "dynamic_procedure_call"
t_statements.adb:469:7: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:469:7: Found: Sequential_Stmts: use of statement "dynamic_procedure_call"
t_statements.adb:472:4: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:472:4: Found: Sequential_Stmts: use of statement "procedure_call"
t_statements.adb:472:4: Found: Sequential_Stmts: use of statement "dynamic_procedure_call"
t_statements.adb:474:4: Found: Sequential_Stmts: use of statement "labelled"
t_statements.adb:474:4: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:474:4: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:474:4: Found: Sequential_Stmts: use of statement "backward_goto"
t_statements.adb:475:4: Found: Sequential_Stmts: use of statement "goto"
t_statements.adb:475:4: Found: Sequential_Stmts: use of statement "goto_not_continue"
t_statements.adb:475:4: Found: Sequential_Stmts: use of statement "backward_goto"
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: 228
Case_Count: 3
If_Count: 9
