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:23:30: Delete:23:30
t_simplifiable_expressions-test_logical.adb:23:35: Delete:23:35
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:14:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:14:16: Delete:14:16
t_simplifiable_expressions-test_parentheses.adb:14:22: Delete:14:22
t_simplifiable_expressions-test_parentheses.adb:16:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:16:16: Delete:16:16
t_simplifiable_expressions-test_parentheses.adb:16:44: Delete:16:44
t_simplifiable_expressions-test_parentheses.adb:20:20: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:20:20: Delete:20:20
t_simplifiable_expressions-test_parentheses.adb:20:22: Delete:20:22
t_simplifiable_expressions-test_parentheses.adb:31:34: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:31:34: Delete:31:34
t_simplifiable_expressions-test_parentheses.adb:31:38: Delete:31:38
t_simplifiable_expressions-test_parentheses.adb:33:34: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:33:34: Delete:33:34
t_simplifiable_expressions-test_parentheses.adb:33:63: Delete:33:63
t_simplifiable_expressions-test_parentheses.adb:42:32: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:42:32: Delete:42:32
t_simplifiable_expressions-test_parentheses.adb:42:37: Delete:42:37
t_simplifiable_expressions-test_parentheses.adb:43:37: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:43:37: Delete:43:37
t_simplifiable_expressions-test_parentheses.adb:43:42: Delete:43:42
t_simplifiable_expressions-test_parentheses.adb:45:32: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:45:32: Delete:45:32
t_simplifiable_expressions-test_parentheses.adb:45:61: Delete:45:61
t_simplifiable_expressions-test_parentheses.adb:50:10: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:50:10: Delete:50:10
t_simplifiable_expressions-test_parentheses.adb:50:12: Delete:50:12
t_simplifiable_expressions-test_parentheses.adb:56:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:56:7: Delete:56:7
t_simplifiable_expressions-test_parentheses.adb:56:9: Delete:56:9
t_simplifiable_expressions-test_parentheses.adb:58:10: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:58:10: Delete:58:10
t_simplifiable_expressions-test_parentheses.adb:58:12: Delete:58:12
t_simplifiable_expressions-test_parentheses.adb:69:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:69:9: Delete:69:9
t_simplifiable_expressions-test_parentheses.adb:69:11: Delete:69:11
t_simplifiable_expressions-test_parentheses.adb:78:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:78:7: Delete:78:7
t_simplifiable_expressions-test_parentheses.adb:78:9: Delete:78:9
t_simplifiable_expressions-test_parentheses.adb:79:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:79:7: Delete:79:7
t_simplifiable_expressions-test_parentheses.adb:79:13: Delete:79:13
t_simplifiable_expressions-test_parentheses.adb:79:8: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:79:8: Delete:79:8
t_simplifiable_expressions-test_parentheses.adb:79:12: Delete:79:12
t_simplifiable_expressions-test_parentheses.adb:79:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:79:9: Delete:79:9
t_simplifiable_expressions-test_parentheses.adb:79:11: Delete:79:11
t_simplifiable_expressions-test_parentheses.adb:80:7: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:80:7: Delete:80:7
t_simplifiable_expressions-test_parentheses.adb:80:29: Delete:80:29
t_simplifiable_expressions-test_parentheses.adb:86:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:86:13: Delete:86:13
t_simplifiable_expressions-test_parentheses.adb:86:38: Delete:86:38
t_simplifiable_expressions-test_parentheses.adb:88:17: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:88:17: Delete:88:17
t_simplifiable_expressions-test_parentheses.adb:88:40: Delete:88:40
t_simplifiable_expressions-test_parentheses.adb:92:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:92:13: Delete:92:13
t_simplifiable_expressions-test_parentheses.adb:92:17: Delete:92:17
t_simplifiable_expressions-test_parentheses.adb:93:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:93:9: Delete:93:9
t_simplifiable_expressions-test_parentheses.adb:93:11: Delete:93:11
t_simplifiable_expressions-test_parentheses.adb:95:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:95:13: Delete:95:13
t_simplifiable_expressions-test_parentheses.adb:95:23: Delete:95:23
t_simplifiable_expressions-test_parentheses.adb:96:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:96:16: Delete:96:16
t_simplifiable_expressions-test_parentheses.adb:96:20: Delete:96:20
t_simplifiable_expressions-test_parentheses.adb:97:17: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:97:17: Delete:97:17
t_simplifiable_expressions-test_parentheses.adb:97:19: Delete:97:19
t_simplifiable_expressions-test_parentheses.adb:98:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:98:13: Delete:98:13
t_simplifiable_expressions-test_parentheses.adb:98:19: Delete:98:19
t_simplifiable_expressions-test_parentheses.adb:99:14: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:99:14: Delete:99:14
t_simplifiable_expressions-test_parentheses.adb:99:16: Delete:99:16
t_simplifiable_expressions-test_parentheses.adb:106:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:106:13: Delete:106:13
t_simplifiable_expressions-test_parentheses.adb:106:15: Delete:106:15
t_simplifiable_expressions-test_parentheses.adb:108:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:108:9: Delete:108:9
t_simplifiable_expressions-test_parentheses.adb:108:15: Delete:108:15
t_simplifiable_expressions-test_parentheses.adb:113:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:113:24: Delete:113:24
t_simplifiable_expressions-test_parentheses.adb:113:45: Delete:113:45
t_simplifiable_expressions-test_parentheses.adb:114:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:114:24: Delete:114:24
t_simplifiable_expressions-test_parentheses.adb:114:30: Delete:114:30
t_simplifiable_expressions-test_parentheses.adb:116:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:116:9: Delete:116:9
t_simplifiable_expressions-test_parentheses.adb:116:15: Delete:116:15
t_simplifiable_expressions-test_parentheses.adb:117:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:117:24: Delete:117:24
t_simplifiable_expressions-test_parentheses.adb:117:26: Delete:117:26
t_simplifiable_expressions-test_parentheses.adb:118:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:118:24: Delete:118:24
t_simplifiable_expressions-test_parentheses.adb:118:36: Delete:118:36
t_simplifiable_expressions-test_parentheses.adb:121:11: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:121:11: Delete:121:11
t_simplifiable_expressions-test_parentheses.adb:121:15: Delete:121:15
t_simplifiable_expressions-test_parentheses.adb:121:33: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:121:33: Delete:121:33
t_simplifiable_expressions-test_parentheses.adb:121:37: Delete:121:37
t_simplifiable_expressions-test_parentheses.adb:122:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:122:16: Delete:122:16
t_simplifiable_expressions-test_parentheses.adb:122:20: Delete:122:20
t_simplifiable_expressions-test_parentheses.adb:122:43: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:122:43: Delete:122:43
t_simplifiable_expressions-test_parentheses.adb:122:47: Delete:122:47
t_simplifiable_expressions-test_parentheses.adb:124:11: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:124:11: Delete:124:11
t_simplifiable_expressions-test_parentheses.adb:124:39: Delete:124:39
t_simplifiable_expressions-test_parentheses.adb:124:24: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:124:24: Delete:124:24
t_simplifiable_expressions-test_parentheses.adb:124:28: Delete:124:28
t_simplifiable_expressions-test_parentheses.adb:124:52: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:124:52: Delete:124:52
t_simplifiable_expressions-test_parentheses.adb:124:56: Delete:124:56
t_simplifiable_expressions-test_parentheses.adb:127:11: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:127:11: Delete:127:11
t_simplifiable_expressions-test_parentheses.adb:127:13: Delete:127:13
t_simplifiable_expressions-test_parentheses.adb:127:16: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:127:16: Delete:127:16
t_simplifiable_expressions-test_parentheses.adb:127:21: Delete:127:21
t_simplifiable_expressions-test_parentheses.adb:128:11: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:128:11: Delete:128:11
t_simplifiable_expressions-test_parentheses.adb:128:13: Delete:128:13
t_simplifiable_expressions-test_parentheses.adb:128:22: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:128:22: Delete:128:22
t_simplifiable_expressions-test_parentheses.adb:128:27: Delete:128:27
t_simplifiable_expressions-test_parentheses.adb:130:14: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:130:14: Delete:130:14
t_simplifiable_expressions-test_parentheses.adb:130:43: Delete:130:43
t_simplifiable_expressions-test_parentheses.adb:133:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:133:9: Delete:133:9
t_simplifiable_expressions-test_parentheses.adb:133:22: Delete:133:22
t_simplifiable_expressions-test_parentheses.adb:133:27: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:133:27: Delete:133:27
t_simplifiable_expressions-test_parentheses.adb:133:44: Delete:133:44
t_simplifiable_expressions-test_parentheses.adb:135:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:135:9: Delete:135:9
t_simplifiable_expressions-test_parentheses.adb:135:11: Delete:135:11
t_simplifiable_expressions-test_parentheses.adb:136:9: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:136:9: Delete:136:9
t_simplifiable_expressions-test_parentheses.adb:136:13: Delete:136:13
t_simplifiable_expressions-test_parentheses.adb:139:14: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_parentheses.adb:139:14: Delete:139:14
t_simplifiable_expressions-test_parentheses.adb:139:34: Delete:139:34
t_simplifiable_expressions-test_conversion.adb:9:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:9:9: Replace:9:19
!Y
t_simplifiable_expressions-test_conversion.adb:10:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:10:9: Replace:10:20
!Y
t_simplifiable_expressions-test_conversion.adb:12:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:12:9: Replace:12:23
!Y - 1
t_simplifiable_expressions-test_conversion.adb:16:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:16:9: Replace:16:19
!1
t_simplifiable_expressions-test_conversion.adb:17:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:17:9: Replace:17:19
!C
t_simplifiable_expressions-test_conversion.adb:18:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:18:9: Replace:18:30
!Integer'Size
t_simplifiable_expressions-test_conversion.adb:19:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:19:9: Replace:19:34
!Integer'Size / 8
t_simplifiable_expressions-test_conversion.adb:25:9: Found: SIMPLIFIABLE_EXPRESSIONS: unnecessary conversion
t_simplifiable_expressions-test_conversion.adb:25:9: Replace:25:27
!D + 10.0
t_simplifiable_expressions-test_membership.adb:8:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:8:12: Replace:8:80
!I1 in 1 | 5 | 10 | 0 | 9
t_simplifiable_expressions-test_membership.adb:8:12: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_membership.adb:8:12: Delete:8:12
t_simplifiable_expressions-test_membership.adb:8:21: Delete:8:21
t_simplifiable_expressions-test_membership.adb:8:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_membership.adb:8:13: Delete:8:13
t_simplifiable_expressions-test_membership.adb:8:16: Delete:8:16
t_simplifiable_expressions-test_membership.adb:9:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:9:12: Replace:9:35
!I1 in 1 | 12 .. 15
t_simplifiable_expressions-test_membership.adb:10:23: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I2 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:10:23: Replace:10:38
!I2 in 2 | 3
t_simplifiable_expressions-test_membership.adb:12:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:12:12: Replace:12:28
!I1 in 1 | 2
t_simplifiable_expressions-test_membership.adb:13:24: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:13:24: Replace:13:40
!I1 in 5 | 10
t_simplifiable_expressions-test_membership.adb:14:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:14:12: Replace:14:48
!I1 in 1 .. 2 | 3 .. 5
t_simplifiable_expressions-test_membership.adb:15:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:15:12: Replace:15:48
!I1 in 1 .. 2 | 3 .. 5
t_simplifiable_expressions-test_membership.adb:19:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "not in" operator
t_simplifiable_expressions-test_membership.adb:19:12: Replace:19:89
!I1 not in 1 | 5 | 10 | 0 | 9
t_simplifiable_expressions-test_membership.adb:19:12: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_membership.adb:19:12: Delete:19:12
t_simplifiable_expressions-test_membership.adb:19:22: Delete:19:22
t_simplifiable_expressions-test_membership.adb:19:13: Error: SIMPLIFIABLE_EXPRESSIONS: Unnecessary parentheses in expression
t_simplifiable_expressions-test_membership.adb:19:13: Delete:19:13
t_simplifiable_expressions-test_membership.adb:19:16: Delete:19:16
t_simplifiable_expressions-test_membership.adb:20:12: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "not in" operator
t_simplifiable_expressions-test_membership.adb:20:12: Replace:20:41
!I1 not in 1 | 12 .. 15
t_simplifiable_expressions-test_membership.adb:21:25: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I2 can be replaced by "not in" operator
t_simplifiable_expressions-test_membership.adb:21:25: Replace:21:43
!I2 not in 2 | 3
t_simplifiable_expressions-test_membership.adb:22:24: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on I1 can be replaced by "not in" operator
t_simplifiable_expressions-test_membership.adb:22:24: Replace:22:43
!I1 not in 5 | 10
t_simplifiable_expressions-test_membership.adb:39:10: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on V.Comp1 (1).C can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:39:10: Replace:39:52
!V.Comp1 (1).C in ' ' | 'a'
t_simplifiable_expressions-test_membership.adb:43:10: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on V.Comp2 (1) (1).C can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:43:10: Replace:43:60
!V.Comp2 (1) (1).C in ' ' | 'a'
t_simplifiable_expressions-test_membership.adb:54:15: Error: SIMPLIFIABLE_EXPRESSIONS: Multiple tests on S (1 .. 4) can be replaced by "in" operator
t_simplifiable_expressions-test_membership.adb:54:15: Replace:54:64
!S (1 .. 4) in "ABCD" | "abcd"

Counts summary:
SIMPLIFIABLE_EXPRESSIONS: 118
