t_simplifiable_statements-test_block.adb:5:4: Error: SIMPLIFIABLE_STATEMENTS: unnecessary block statement
t_simplifiable_statements-test_block.adb:5:4: Delete:6:6
t_simplifiable_statements-test_block.adb:6:14: Delete:7:7
t_simplifiable_statements-test_block.adb:9:4: Error: SIMPLIFIABLE_STATEMENTS: unnecessary block statement
t_simplifiable_statements-test_block.adb:9:4: Delete:11:6
t_simplifiable_statements-test_block.adb:11:14: Delete:13:4
t_simplifiable_statements-test_handler.adb:11:7: Error: SIMPLIFIABLE_STATEMENTS: useless exception handler
t_simplifiable_statements-test_handler.adb:11:7: Delete:12:15
t_simplifiable_statements-test_handler.adb:24:7: Error: SIMPLIFIABLE_STATEMENTS: useless exception handler
t_simplifiable_statements-test_handler.adb:24:7: Delete:25:15
t_simplifiable_statements-test_handler.adb:29:7: Error: SIMPLIFIABLE_STATEMENTS: useless exception handler
t_simplifiable_statements-test_handler.adb:29:7: Delete:30:15
t_simplifiable_statements-test_if.adb:8:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if.adb:8:4: Delete:9:11
t_simplifiable_statements-test_if.adb:16:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if.adb:16:4: Delete:17:11
t_simplifiable_statements-test_if.adb:12:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_if.adb:25:4: Error: SIMPLIFIABLE_STATEMENTS: content of else path can be moved outside "if" statement
t_simplifiable_statements-test_if.adb:38:13: Error: SIMPLIFIABLE_STATEMENTS: content of then path can be moved outside "if" statement
t_simplifiable_statements-test_if_for_case.adb:25:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_if_for_case.adb:31:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_if_for_case.adb:41:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_if_not.adb:7:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if_not.adb:7:4: Delete:8:11
t_simplifiable_statements-test_if_not.adb:5:7: Error: SIMPLIFIABLE_STATEMENTS: Negative condition in "if-else" statement
t_simplifiable_statements-test_if_not.adb:13:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if_not.adb:13:4: Delete:14:11
t_simplifiable_statements-test_if_not.adb:11:9: Error: SIMPLIFIABLE_STATEMENTS: Negative condition in "if-else" statement
t_simplifiable_statements-test_if_not.adb:19:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if_not.adb:19:4: Delete:20:11
t_simplifiable_statements-test_if_not.adb:25:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if_not.adb:25:4: Delete:26:11
t_simplifiable_statements-test_if_not.adb:33:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_if_not.adb:33:4: Delete:34:11
t_simplifiable_statements-test_if_not.adb:29:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_if_not.adb:37:4: Error: SIMPLIFIABLE_STATEMENTS: If statement could be replaced by case statement
t_simplifiable_statements-test_loop.adb:5:4: Error: SIMPLIFIABLE_STATEMENTS: while loop has True condition
t_simplifiable_statements-test_loop.adb:5:4: Delete:5:14
t_simplifiable_statements-test_loop.adb:8:4: Error: SIMPLIFIABLE_STATEMENTS: while loop has True condition
t_simplifiable_statements-test_loop.adb:8:4: Delete:8:13
t_simplifiable_statements-test_loop.adb:11:4: Error: SIMPLIFIABLE_STATEMENTS: while loop is never executed
t_simplifiable_statements-test_loop.adb:11:4: Delete:13:12
t_simplifiable_statements-test_loop.adb:17:4: Error: SIMPLIFIABLE_STATEMENTS: simple loop can be changed to "while"
t_simplifiable_statements-test_null.adb:8:4: Error: SIMPLIFIABLE_STATEMENTS: empty else path
t_simplifiable_statements-test_null.adb:8:4: Delete:9:11
t_simplifiable_statements-test_null.adb:6:7: Error: SIMPLIFIABLE_STATEMENTS: unnecessary null statement
t_simplifiable_statements-test_null.adb:6:7: Delete:6:11
t_simplifiable_statements-test_null.adb:14:7: Error: SIMPLIFIABLE_STATEMENTS: unnecessary null statement
t_simplifiable_statements-test_null.adb:14:7: Delete:14:11
t_simplifiable_statements-test_null.adb:18:7: Error: SIMPLIFIABLE_STATEMENTS: unnecessary null statement
t_simplifiable_statements-test_null.adb:18:7: Delete:18:11
t_simplifiable_statements-test_null.adb:24:7: Error: SIMPLIFIABLE_STATEMENTS: unnecessary null statement
t_simplifiable_statements-test_null.adb:24:7: Delete:24:11
t_simplifiable_statements-test_null.adb:28:7: Error: SIMPLIFIABLE_STATEMENTS: unnecessary null statement
t_simplifiable_statements-test_null.adb:28:7: Delete:28:11
t_simplifiable_statements-test_dead.adb:10:4: Error: SIMPLIFIABLE_STATEMENTS: condition is always false
t_simplifiable_statements-test_dead.adb:10:4: Delete:11:11
t_simplifiable_statements-test_dead.adb:14:7: Error: SIMPLIFIABLE_STATEMENTS: unreachable code after this statement
t_simplifiable_statements-test_dead.adb:15:7: Delete:15:13
t_simplifiable_statements-test_dead.adb:17:4: Error: SIMPLIFIABLE_STATEMENTS: condition is always false
t_simplifiable_statements-test_dead.adb:17:4: Delete:19:13
t_simplifiable_statements-test_dead.adb:20:4: Replace:20:6
!
t_simplifiable_statements-test_dead.adb:25:7: Error: SIMPLIFIABLE_STATEMENTS: choices cover no value
t_simplifiable_statements-test_dead.adb:25:7: Delete:26:14
t_simplifiable_statements-test_dead.adb:27:7: Error: SIMPLIFIABLE_STATEMENTS: choices cover no value
t_simplifiable_statements-test_dead.adb:27:7: Delete:28:16
t_simplifiable_statements-test_dead.adb:29:7: Error: SIMPLIFIABLE_STATEMENTS: choices cover no value
t_simplifiable_statements-test_dead.adb:29:7: Delete:30:16
t_simplifiable_statements-test_dead.adb:40:7: Error: SIMPLIFIABLE_STATEMENTS: unreachable code after this statement
t_simplifiable_statements-test_dead.adb:41:7: Delete:44:11
t_simplifiable_statements-test_dead.adb:42:7: Error: SIMPLIFIABLE_STATEMENTS: unreachable code after this statement
t_simplifiable_statements-test_dead.adb:43:7: Delete:44:11
t_simplifiable_statements-test_dead.adb:46:4: Error: SIMPLIFIABLE_STATEMENTS: while loop is never executed
t_simplifiable_statements-test_dead.adb:46:4: Delete:48:12
t_simplifiable_statements-test_dead.adb:50:4: Error: SIMPLIFIABLE_STATEMENTS: for loop is never executed
t_simplifiable_statements-test_dead.adb:50:4: Delete:52:12
t_simplifiable_statements-test_dead.adb:60:1: Error: SIMPLIFIABLE_STATEMENTS: unreachable code after this statement
t_simplifiable_statements-test_dead.adb:61:7: Delete:64:13
t_simplifiable_statements-test_dead.adb:61:7: Error: SIMPLIFIABLE_STATEMENTS: unreachable code after this statement
t_simplifiable_statements-test_dead.adb:62:7: Delete:64:13
