t_simplifiable_expressions-test_range.adb:34:57: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:35:57: Error: Range_Or_True: (T)'RANGE replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:39:32: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:40:32: Error: Range_Or_True: (T)'RANGE replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:56:20: Error: Range_Or_True: (T)'RANGE replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:58:16: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:72:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:76:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:79:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:100:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:103:13: Error: Range_Or_True: (T)'RANGE replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:109:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:113:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_range.adb:117:14: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_range.adb:122:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_range.adb:124:11: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_range.adb:127:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:129:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:132:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:133:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:137:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (sub)type(T)
t_simplifiable_expressions-test_range.adb:140:9: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_range.adb:142:13: Error: Range_Or_True: (T)'First .. (T)'Last replaceable with (T)'Range
t_simplifiable_expressions-test_logical.adb:10:19: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:11:28: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:13:35: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:23:7: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:23:26: Error: Range_Or_True: Simplify expression '<expr> = True' to just '<expr>'
t_simplifiable_expressions-test_logical.adb:23:30: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_logical.adb:25:10: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:26:12: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:27:10: Found: False: Simplify expression '<expr> /= False' to just '<expr>'
t_simplifiable_expressions-test_logical.adb:29:10: Error: Range_Or_True: Simplify expression '<expr> = True' to just '<expr>'
t_simplifiable_expressions-test_logical.adb:31:10: Error: Range_Or_True: Simplify expression '<expr> /= True' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:33:10: Found: False: Simplify expression 'False = <expr>' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:34:12: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:35:10: Found: False: Simplify expression 'False /= <expr>' to just '<expr>'
t_simplifiable_expressions-test_logical.adb:37:10: Error: Range_Or_True: Simplify expression 'True = <expr>' to just '<expr>'
t_simplifiable_expressions-test_logical.adb:39:10: Error: Range_Or_True: Simplify expression 'True /= <expr>' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:43:10: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:43:24: Found: False: Simplify expression '<expr> = False' to 'not <expr>'
t_simplifiable_expressions-test_logical.adb:47:7: Found: SIMPLIFIABLE_EXPRESSIONS: "not" on comparison
t_simplifiable_expressions-test_parentheses.adb:4:19: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:13:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:16:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:18:10: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:27:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:36:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:40:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:41:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:43:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:44:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:45:17: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:46:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:47:14: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:54:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:56:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:61:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:62:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:64:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:65:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:66:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_conversion.adb:9:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:10:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:12:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:16:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:17:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:18:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:19:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:25:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion

Counts summary:
SIMPLIFIABLE_EXPRESSIONS: 70
