adlint 1.10.0 → 1.12.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (49) hide show
  1. data/ChangeLog +197 -4
  2. data/MANIFEST +17 -0
  3. data/NEWS +23 -4
  4. data/etc/mesg.d/en_US/messages.yml +14 -1
  5. data/etc/mesg.d/ja_JP/messages.yml +14 -1
  6. data/features/message_detection/W0093.feature +87 -0
  7. data/features/message_detection/W0687.feature +25 -0
  8. data/features/message_detection/W0688.feature +63 -0
  9. data/features/message_detection/W0689.feature +46 -0
  10. data/features/message_detection/W0690.feature +35 -0
  11. data/features/message_detection/W0698.feature +3 -2
  12. data/features/message_detection/W0703.feature +1 -0
  13. data/features/message_detection/W0723.feature +34 -0
  14. data/features/message_detection/W0732.feature +158 -0
  15. data/features/message_detection/W0733.feature +158 -0
  16. data/features/message_detection/W0734.feature +322 -0
  17. data/features/message_detection/W0735.feature +322 -0
  18. data/features/message_detection/W1052.feature +66 -0
  19. data/features/message_detection/W9001.feature +33 -0
  20. data/features/message_detection/W9003.feature +131 -0
  21. data/lib/adlint/c/ctrlexpr.rb +51 -50
  22. data/lib/adlint/c/domain.rb +237 -223
  23. data/lib/adlint/c/expr.rb +6 -8
  24. data/lib/adlint/c/interp.rb +8 -11
  25. data/lib/adlint/c/message.rb +20 -0
  26. data/lib/adlint/c/message_shima.rb +63 -0
  27. data/lib/adlint/c/object.rb +5 -4
  28. data/lib/adlint/c/operator.rb +99 -0
  29. data/lib/adlint/c/parser.rb +2 -2
  30. data/lib/adlint/c/parser.y +2 -2
  31. data/lib/adlint/c/phase.rb +6 -1
  32. data/lib/adlint/c/syntax.rb +442 -30
  33. data/lib/adlint/c/type.rb +449 -363
  34. data/lib/adlint/c/value.rb +96 -25
  35. data/lib/adlint/c.rb +1 -0
  36. data/lib/adlint/prelude.rb +16 -18
  37. data/lib/adlint/version.rb +2 -2
  38. data/share/doc/developers_guide_ja.html +11 -5
  39. data/share/doc/developers_guide_ja.texi +9 -3
  40. data/share/doc/users_guide_en.html +697 -131
  41. data/share/doc/users_guide_en.texi +491 -41
  42. data/share/doc/users_guide_ja.html +709 -139
  43. data/share/doc/users_guide_ja.texi +499 -45
  44. data/spec/adlint/c/ctrlexpr_spec.rb +168 -0
  45. data/spec/adlint/c/domain_spec.rb +835 -0
  46. data/spec/adlint/c/operator_spec.rb +406 -0
  47. data/spec/adlint/c/syntax_spec.rb +717 -0
  48. data/spec/adlint/c/type_spec.rb +55 -30
  49. metadata +19 -2
data/features/message_detection/W0723.feature CHANGED
@@ -14,5 +14,39 @@ Feature: W0723
14
14
  | mesg | line | column |
15
15
  | W0567 | 2 | 25 |
16
16
  | W0167 | 2 | 45 |
17
+ | W9003 | 2 | 45 |
18
+
19
+ Scenario: multiplication of two arbitrary `signed short' values
20
+ Given a target source named "W0723.c" with:
21
+ """
22
+ static int foo(short a, short b)
23
+ {
24
+ return a * b; /* W0723 should not be output */
25
+ }
26
+ """
27
+ When I successfully run `adlint W0723.c` on noarch
28
+ Then the output should exactly match with:
29
+ | mesg | line | column |
30
+ | W0104 | 1 | 22 |
31
+ | W0104 | 1 | 31 |
32
+ | W0629 | 1 | 12 |
33
+ | W0628 | 1 | 12 |
34
+
35
+ Scenario: multiplication of two arbitrary `signed int' values
36
+ Given a target source named "W0723.c" with:
37
+ """
38
+ static int foo(int a, int b)
39
+ {
40
+ return a * b; /* W0723 */
41
+ }
42
+ """
43
+ When I successfully run `adlint W0723.c` on noarch
44
+ Then the output should exactly match with:
45
+ | mesg | line | column |
46
+ | W0723 | 3 | 14 |
47
+ | W0104 | 1 | 20 |
48
+ | W0104 | 1 | 27 |
49
+ | W0629 | 1 | 12 |
50
+ | W0628 | 1 | 12 |
17
51
 
18
52
  # vim:ts=2:sw=2:sts=2:et:
data/features/message_detection/W0732.feature ADDED
@@ -0,0 +1,158 @@
1
+ Feature: W0732
2
+
3
+ W0732 detects that both sides of `&&' operator are bitwise expression or
4
+ arithmetic expression.
5
+
6
+ Scenario: both sides of `&&' operator are arithmetic expressions
7
+ Given a target source named "W0732.c" with:
8
+ """
9
+ static void func(int a, int b, int c, int d)
10
+ {
11
+ int r;
12
+
13
+ r = (a + b) && (c + d); /* W0732 */
14
+ r = (a - b) && (c - d); /* W0732 */
15
+ r = (a * b) && (c * d); /* W0732 */
16
+ r = (a / b) && (c / d); /* W0732 */
17
+ r = (a % b) && (c % d); /* W0732 */
18
+
19
+ r = (a += b) && (c -= d); /* W0732 */
20
+ r = (a *= b) && (c /= d); /* W0732 */
21
+ }
22
+ """
23
+ When I successfully run `adlint W0732.c` on noarch
24
+ Then the output should exactly match with:
25
+ | mesg | line | column |
26
+ | W0723 | 5 | 12 |
27
+ | W0723 | 5 | 23 |
28
+ | W0723 | 6 | 12 |
29
+ | W0723 | 6 | 23 |
30
+ | W0723 | 7 | 12 |
31
+ | W0723 | 7 | 23 |
32
+ | W0093 | 8 | 12 |
33
+ | W0093 | 8 | 23 |
34
+ | W0093 | 9 | 12 |
35
+ | W0093 | 9 | 23 |
36
+ | W0093 | 12 | 12 |
37
+ | W0093 | 12 | 24 |
38
+ | W0104 | 1 | 29 |
39
+ | W0104 | 1 | 43 |
40
+ | W0629 | 1 | 13 |
41
+ | W0088 | 5 | 17 |
42
+ | W0732 | 5 | 17 |
43
+ | W0088 | 6 | 17 |
44
+ | W0732 | 6 | 17 |
45
+ | W0088 | 7 | 17 |
46
+ | W0732 | 7 | 17 |
47
+ | W0088 | 8 | 17 |
48
+ | W0732 | 8 | 17 |
49
+ | W0088 | 9 | 17 |
50
+ | W0732 | 9 | 17 |
51
+ | W0508 | 11 | 18 |
52
+ | W0732 | 11 | 18 |
53
+ | W0508 | 12 | 18 |
54
+ | W0732 | 12 | 18 |
55
+ | W0108 | 11 | 12 |
56
+ | W0108 | 11 | 24 |
57
+ | W0108 | 12 | 12 |
58
+ | W0108 | 12 | 24 |
59
+ | W0628 | 1 | 13 |
60
+
61
+ Scenario: both sides of `&&' operator are bitwise expressions
62
+ Given a target source named "W0732.c" with:
63
+ """
64
+ static void func(int a, int b, int c, int d)
65
+ {
66
+ int r;
67
+
68
+ r = (a << b) && (c << d); /* W0732 */
69
+ r = (a >> b) && (c >> d); /* W0732 */
70
+ r = (a & b) && (c & d); /* W0732 */
71
+ r = (a ^ b) && (c ^ d); /* W0732 */
72
+ r = (a | b) && (c | d); /* W0732 */
73
+
74
+ r = (a &= b) && (c ^= d); /* W0732 */
75
+ r = (a <<= b) && (c >>= d); /* W0732 */
76
+ }
77
+ """
78
+ When I successfully run `adlint W0732.c` on noarch
79
+ Then the output should exactly match with:
80
+ | mesg | line | column |
81
+ | W0570 | 5 | 12 |
82
+ | W0572 | 5 | 12 |
83
+ | W0570 | 5 | 24 |
84
+ | W0572 | 5 | 24 |
85
+ | W0571 | 6 | 12 |
86
+ | W0572 | 6 | 12 |
87
+ | W0571 | 6 | 24 |
88
+ | W0572 | 6 | 24 |
89
+ | W0572 | 7 | 12 |
90
+ | W0572 | 7 | 23 |
91
+ | W0572 | 8 | 12 |
92
+ | W0572 | 8 | 23 |
93
+ | W0572 | 9 | 12 |
94
+ | W0572 | 9 | 23 |
95
+ | W0572 | 11 | 12 |
96
+ | W0572 | 11 | 24 |
97
+ | W0570 | 12 | 12 |
98
+ | W0572 | 12 | 12 |
99
+ | W0571 | 12 | 25 |
100
+ | W0572 | 12 | 25 |
101
+ | W0104 | 1 | 29 |
102
+ | W0104 | 1 | 43 |
103
+ | W0629 | 1 | 13 |
104
+ | W0088 | 5 | 18 |
105
+ | W0732 | 5 | 18 |
106
+ | W0088 | 6 | 18 |
107
+ | W0732 | 6 | 18 |
108
+ | W0088 | 7 | 17 |
109
+ | W0732 | 7 | 17 |
110
+ | W0088 | 8 | 17 |
111
+ | W0732 | 8 | 17 |
112
+ | W0088 | 9 | 17 |
113
+ | W0732 | 9 | 17 |
114
+ | W0508 | 11 | 18 |
115
+ | W0732 | 11 | 18 |
116
+ | W0508 | 12 | 19 |
117
+ | W0732 | 12 | 19 |
118
+ | W0108 | 11 | 12 |
119
+ | W0108 | 11 | 24 |
120
+ | W0108 | 12 | 12 |
121
+ | W0108 | 12 | 25 |
122
+ | W0628 | 1 | 13 |
123
+
124
+ Scenario: both sides of `&&' operator are neither arithmetic nor bitwise
125
+ Given a target source named "W0732.c" with:
126
+ """
127
+ static void func(int a, int b, int c, int d)
128
+ {
129
+ int r;
130
+
131
+ /* equality expression */
132
+ r = (a == b) && (c != d); /* OK */
133
+
134
+ /* relational expression */
135
+ r = (a < b) && (c > d); /* OK */
136
+ r = (a <= b) && (c >= d); /* OK */
137
+
138
+ /* logical expression */
139
+ r = (a && b) && (c && d); /* OK */
140
+ r = (a || b) && (c || d); /* OK */
141
+ }
142
+ """
143
+ When I successfully run `adlint W0732.c` on noarch
144
+ Then the output should exactly match with:
145
+ | mesg | line | column |
146
+ | W0104 | 1 | 22 |
147
+ | W0104 | 1 | 29 |
148
+ | W0104 | 1 | 36 |
149
+ | W0104 | 1 | 43 |
150
+ | W0629 | 1 | 13 |
151
+ | W0088 | 6 | 18 |
152
+ | W0088 | 9 | 17 |
153
+ | W0088 | 10 | 18 |
154
+ | W0088 | 13 | 18 |
155
+ | W0088 | 14 | 18 |
156
+ | W0628 | 1 | 13 |
157
+
158
+ # vim:ts=2:sw=2:sts=2:et:
data/features/message_detection/W0733.feature ADDED
@@ -0,0 +1,158 @@
1
+ Feature: W0733
2
+
3
+ W0733 detects that both sides of `||' operator are bitwise expression or
4
+ arithmetic expression.
5
+
6
+ Scenario: both sides of `||' operator are arithmetic expressions
7
+ Given a target source named "W0733.c" with:
8
+ """
9
+ static void func(int a, int b, int c, int d)
10
+ {
11
+ int r;
12
+
13
+ r = (a + b) || (c + d); /* W0733 */
14
+ r = (a - b) || (c - d); /* W0733 */
15
+ r = (a * b) || (c * d); /* W0733 */
16
+ r = (a / b) || (c / d); /* W0733 */
17
+ r = (a % b) || (c % d); /* W0733 */
18
+
19
+ r = (a += b) || (c -= d); /* W0733 */
20
+ r = (a *= b) || (c /= d); /* W0733 */
21
+ }
22
+ """
23
+ When I successfully run `adlint W0733.c` on noarch
24
+ Then the output should exactly match with:
25
+ | mesg | line | column |
26
+ | W0723 | 5 | 12 |
27
+ | W0723 | 5 | 23 |
28
+ | W0723 | 6 | 12 |
29
+ | W0723 | 6 | 23 |
30
+ | W0723 | 7 | 12 |
31
+ | W0723 | 7 | 23 |
32
+ | W0093 | 8 | 12 |
33
+ | W0093 | 8 | 23 |
34
+ | W0093 | 9 | 12 |
35
+ | W0093 | 9 | 23 |
36
+ | W0093 | 12 | 12 |
37
+ | W0093 | 12 | 24 |
38
+ | W0104 | 1 | 29 |
39
+ | W0104 | 1 | 43 |
40
+ | W0629 | 1 | 13 |
41
+ | W0088 | 5 | 17 |
42
+ | W0733 | 5 | 17 |
43
+ | W0088 | 6 | 17 |
44
+ | W0733 | 6 | 17 |
45
+ | W0088 | 7 | 17 |
46
+ | W0733 | 7 | 17 |
47
+ | W0088 | 8 | 17 |
48
+ | W0733 | 8 | 17 |
49
+ | W0088 | 9 | 17 |
50
+ | W0733 | 9 | 17 |
51
+ | W0508 | 11 | 18 |
52
+ | W0733 | 11 | 18 |
53
+ | W0508 | 12 | 18 |
54
+ | W0733 | 12 | 18 |
55
+ | W0108 | 11 | 12 |
56
+ | W0108 | 11 | 24 |
57
+ | W0108 | 12 | 12 |
58
+ | W0108 | 12 | 24 |
59
+ | W0628 | 1 | 13 |
60
+
61
+ Scenario: both sides of `&&' operator are bitwise expressions
62
+ Given a target source named "W0733.c" with:
63
+ """
64
+ static void func(int a, int b, int c, int d)
65
+ {
66
+ int r;
67
+
68
+ r = (a << b) || (c << d); /* W0733 */
69
+ r = (a >> b) || (c >> d); /* W0733 */
70
+ r = (a & b) || (c & d); /* W0733 */
71
+ r = (a ^ b) || (c ^ d); /* W0733 */
72
+ r = (a | b) || (c | d); /* W0733 */
73
+
74
+ r = (a &= b) || (c ^= d); /* W0733 */
75
+ r = (a <<= b) || (c >>= d); /* W0733 */
76
+ }
77
+ """
78
+ When I successfully run `adlint W0733.c` on noarch
79
+ Then the output should exactly match with:
80
+ | mesg | line | column |
81
+ | W0570 | 5 | 12 |
82
+ | W0572 | 5 | 12 |
83
+ | W0570 | 5 | 24 |
84
+ | W0572 | 5 | 24 |
85
+ | W0571 | 6 | 12 |
86
+ | W0572 | 6 | 12 |
87
+ | W0571 | 6 | 24 |
88
+ | W0572 | 6 | 24 |
89
+ | W0572 | 7 | 12 |
90
+ | W0572 | 7 | 23 |
91
+ | W0572 | 8 | 12 |
92
+ | W0572 | 8 | 23 |
93
+ | W0572 | 9 | 12 |
94
+ | W0572 | 9 | 23 |
95
+ | W0572 | 11 | 12 |
96
+ | W0572 | 11 | 24 |
97
+ | W0570 | 12 | 12 |
98
+ | W0572 | 12 | 12 |
99
+ | W0571 | 12 | 25 |
100
+ | W0572 | 12 | 25 |
101
+ | W0104 | 1 | 29 |
102
+ | W0104 | 1 | 43 |
103
+ | W0629 | 1 | 13 |
104
+ | W0088 | 5 | 18 |
105
+ | W0733 | 5 | 18 |
106
+ | W0088 | 6 | 18 |
107
+ | W0733 | 6 | 18 |
108
+ | W0088 | 7 | 17 |
109
+ | W0733 | 7 | 17 |
110
+ | W0088 | 8 | 17 |
111
+ | W0733 | 8 | 17 |
112
+ | W0088 | 9 | 17 |
113
+ | W0733 | 9 | 17 |
114
+ | W0508 | 11 | 18 |
115
+ | W0733 | 11 | 18 |
116
+ | W0508 | 12 | 19 |
117
+ | W0733 | 12 | 19 |
118
+ | W0108 | 11 | 12 |
119
+ | W0108 | 11 | 24 |
120
+ | W0108 | 12 | 12 |
121
+ | W0108 | 12 | 25 |
122
+ | W0628 | 1 | 13 |
123
+
124
+ Scenario: both sides of `||' operator are neither arithmetic nor bitwise
125
+ Given a target source named "W0733.c" with:
126
+ """
127
+ static void func(int a, int b, int c, int d)
128
+ {
129
+ int r;
130
+
131
+ /* equality expression */
132
+ r = (a == b) || (c != d); /* OK */
133
+
134
+ /* relational expression */
135
+ r = (a < b) || (c > d); /* OK */
136
+ r = (a <= b) || (c >= d); /* OK */
137
+
138
+ /* logical expression */
139
+ r = (a && b) || (c && d); /* OK */
140
+ r = (a || b) || (c || d); /* OK */
141
+ }
142
+ """
143
+ When I successfully run `adlint W0733.c` on noarch
144
+ Then the output should exactly match with:
145
+ | mesg | line | column |
146
+ | W0104 | 1 | 22 |
147
+ | W0104 | 1 | 29 |
148
+ | W0104 | 1 | 36 |
149
+ | W0104 | 1 | 43 |
150
+ | W0629 | 1 | 13 |
151
+ | W0088 | 6 | 18 |
152
+ | W0088 | 9 | 17 |
153
+ | W0088 | 10 | 18 |
154
+ | W0088 | 13 | 18 |
155
+ | W0088 | 14 | 18 |
156
+ | W0628 | 1 | 13 |
157
+
158
+ # vim:ts=2:sw=2:sts=2:et:
data/features/message_detection/W0734.feature ADDED
@@ -0,0 +1,322 @@
1
+ Feature: W0734
2
+
3
+ W0734 detects that left side of logical expression is bitwise expression or
4
+ arithmetic expression.
5
+
6
+ Scenario: left side of `&&' operator is an arithmetic expression
7
+ Given a target source named "W0734.c" with:
8
+ """
9
+ static void func(int a, int b, int c)
10
+ {
11
+ int r;
12
+
13
+ r = (a + b) && c; /* W0734 */
14
+ r = (a - b) && c; /* W0734 */
15
+ r = (a * b) && c; /* W0734 */
16
+ r = (a / b) && c; /* W0734 */
17
+ r = (a % b) && c; /* W0734 */
18
+ }
19
+ """
20
+ When I successfully run `adlint W0734.c` on noarch
21
+ Then the output should exactly match with:
22
+ | mesg | line | column |
23
+ | W0723 | 5 | 12 |
24
+ | W0723 | 6 | 12 |
25
+ | W0723 | 7 | 12 |
26
+ | W0093 | 8 | 12 |
27
+ | W0093 | 9 | 12 |
28
+ | W0104 | 1 | 22 |
29
+ | W0104 | 1 | 29 |
30
+ | W0104 | 1 | 36 |
31
+ | W0629 | 1 | 13 |
32
+ | W0088 | 5 | 17 |
33
+ | W0734 | 5 | 9 |
34
+ | W0088 | 6 | 17 |
35
+ | W0734 | 6 | 9 |
36
+ | W0088 | 7 | 17 |
37
+ | W0734 | 7 | 9 |
38
+ | W0088 | 8 | 17 |
39
+ | W0734 | 8 | 9 |
40
+ | W0088 | 9 | 17 |
41
+ | W0734 | 9 | 9 |
42
+ | W0628 | 1 | 13 |
43
+
44
+ Scenario: left side of `&&' operator is an arithmetic expression
45
+ Given a target source named "W0734.c" with:
46
+ """
47
+ static void func(int a, int b, int c, int d)
48
+ {
49
+ int r;
50
+
51
+ r = (a + b) && (c == d); /* W0734 */
52
+ r = (a - b) && (c = d); /* W0734 */
53
+ r = (a * b) && (c && d); /* W0734 */
54
+ r = (a / b) && (c < d); /* W0734 */
55
+ r = (a / b) && (c != d); /* W0734 */
56
+ }
57
+ """
58
+ When I successfully run `adlint W0734.c` on noarch
59
+ Then the output should exactly match with:
60
+ | mesg | line | column |
61
+ | W0723 | 5 | 12 |
62
+ | W0723 | 6 | 12 |
63
+ | W0723 | 7 | 12 |
64
+ | W0093 | 8 | 12 |
65
+ | W0093 | 9 | 12 |
66
+ | W0104 | 1 | 22 |
67
+ | W0104 | 1 | 29 |
68
+ | W0104 | 1 | 43 |
69
+ | W0629 | 1 | 13 |
70
+ | W0088 | 5 | 17 |
71
+ | W0734 | 5 | 9 |
72
+ | W0508 | 6 | 17 |
73
+ | W0734 | 6 | 9 |
74
+ | W0088 | 7 | 17 |
75
+ | W0734 | 7 | 9 |
76
+ | W0088 | 8 | 17 |
77
+ | W0734 | 8 | 9 |
78
+ | W0088 | 9 | 17 |
79
+ | W0734 | 9 | 9 |
80
+ | W0108 | 6 | 23 |
81
+ | W0628 | 1 | 13 |
82
+
83
+ Scenario: left side of `||' operator is an arithmetic expression
84
+ Given a target source named "W0734.c" with:
85
+ """
86
+ static void func(int a, int b, int c)
87
+ {
88
+ int r;
89
+
90
+ r = (a + b) || c; /* W0734 */
91
+ r = (a - b) || c; /* W0734 */
92
+ r = (a * b) || c; /* W0734 */
93
+ r = (a / b) || c; /* W0734 */
94
+ r = (a % b) || c; /* W0734 */
95
+ }
96
+ """
97
+ When I successfully run `adlint W0734.c` on noarch
98
+ Then the output should exactly match with:
99
+ | mesg | line | column |
100
+ | W0723 | 5 | 12 |
101
+ | W0723 | 6 | 12 |
102
+ | W0723 | 7 | 12 |
103
+ | W0093 | 8 | 12 |
104
+ | W0093 | 9 | 12 |
105
+ | W0104 | 1 | 22 |
106
+ | W0104 | 1 | 29 |
107
+ | W0104 | 1 | 36 |
108
+ | W0629 | 1 | 13 |
109
+ | W0088 | 5 | 17 |
110
+ | W0734 | 5 | 9 |
111
+ | W0088 | 6 | 17 |
112
+ | W0734 | 6 | 9 |
113
+ | W0088 | 7 | 17 |
114
+ | W0734 | 7 | 9 |
115
+ | W0088 | 8 | 17 |
116
+ | W0734 | 8 | 9 |
117
+ | W0088 | 9 | 17 |
118
+ | W0734 | 9 | 9 |
119
+ | W0628 | 1 | 13 |
120
+
121
+ Scenario: left side of `||' operator is an arithmetic expression
122
+ Given a target source named "W0734.c" with:
123
+ """
124
+ static void func(int a, int b, int c, int d)
125
+ {
126
+ int r;
127
+
128
+ r = (a + b) || (c == d); /* W0734 */
129
+ r = (a - b) || (c = d); /* W0734 */
130
+ r = (a * b) || (c || d); /* W0734 */
131
+ r = (a / b) || (c < d); /* W0734 */
132
+ r = (a / b) || (c != d); /* W0734 */
133
+ }
134
+ """
135
+ When I successfully run `adlint W0734.c` on noarch
136
+ Then the output should exactly match with:
137
+ | mesg | line | column |
138
+ | W0723 | 5 | 12 |
139
+ | W0723 | 6 | 12 |
140
+ | W0723 | 7 | 12 |
141
+ | W0093 | 8 | 12 |
142
+ | W0093 | 9 | 12 |
143
+ | W0104 | 1 | 22 |
144
+ | W0104 | 1 | 29 |
145
+ | W0104 | 1 | 43 |
146
+ | W0629 | 1 | 13 |
147
+ | W0088 | 5 | 17 |
148
+ | W0734 | 5 | 9 |
149
+ | W0508 | 6 | 17 |
150
+ | W0734 | 6 | 9 |
151
+ | W0088 | 7 | 17 |
152
+ | W0734 | 7 | 9 |
153
+ | W0088 | 8 | 17 |
154
+ | W0734 | 8 | 9 |
155
+ | W0088 | 9 | 17 |
156
+ | W0734 | 9 | 9 |
157
+ | W0108 | 6 | 23 |
158
+ | W0628 | 1 | 13 |
159
+
160
+ Scenario: left side of `&&' operator is a bitwise expression
161
+ Given a target source named "W0734.c" with:
162
+ """
163
+ static void func(int a, int b, int c)
164
+ {
165
+ int r;
166
+
167
+ r = (a << b) && c; /* W0734 */
168
+ r = (a >> b) && c; /* W0734 */
169
+ r = (a & b) && c; /* W0734 */
170
+ r = (a ^ b) && c; /* W0734 */
171
+ r = (a | b) && c; /* W0734 */
172
+ }
173
+ """
174
+ When I successfully run `adlint W0734.c` on noarch
175
+ Then the output should exactly match with:
176
+ | mesg | line | column |
177
+ | W0570 | 5 | 12 |
178
+ | W0572 | 5 | 12 |
179
+ | W0571 | 6 | 12 |
180
+ | W0572 | 6 | 12 |
181
+ | W0572 | 7 | 12 |
182
+ | W0572 | 8 | 12 |
183
+ | W0572 | 9 | 12 |
184
+ | W0104 | 1 | 22 |
185
+ | W0104 | 1 | 29 |
186
+ | W0104 | 1 | 36 |
187
+ | W0629 | 1 | 13 |
188
+ | W0088 | 5 | 18 |
189
+ | W0734 | 5 | 9 |
190
+ | W0088 | 6 | 18 |
191
+ | W0734 | 6 | 9 |
192
+ | W0088 | 7 | 17 |
193
+ | W0734 | 7 | 9 |
194
+ | W0088 | 8 | 17 |
195
+ | W0734 | 8 | 9 |
196
+ | W0088 | 9 | 17 |
197
+ | W0734 | 9 | 9 |
198
+ | W0628 | 1 | 13 |
199
+
200
+ Scenario: left side of `||' operator is a bitwise expression
201
+ Given a target source named "W0734.c" with:
202
+ """
203
+ static void func(int a, int b, int c)
204
+ {
205
+ int r;
206
+
207
+ r = (a << b) || c; /* W0734 */
208
+ r = (a >> b) || c; /* W0734 */
209
+ r = (a & b) || c; /* W0734 */
210
+ r = (a ^ b) || c; /* W0734 */
211
+ r = (a | b) || c; /* W0734 */
212
+ }
213
+ """
214
+ When I successfully run `adlint W0734.c` on noarch
215
+ Then the output should exactly match with:
216
+ | mesg | line | column |
217
+ | W0570 | 5 | 12 |
218
+ | W0572 | 5 | 12 |
219
+ | W0571 | 6 | 12 |
220
+ | W0572 | 6 | 12 |
221
+ | W0572 | 7 | 12 |
222
+ | W0572 | 8 | 12 |
223
+ | W0572 | 9 | 12 |
224
+ | W0104 | 1 | 22 |
225
+ | W0104 | 1 | 29 |
226
+ | W0104 | 1 | 36 |
227
+ | W0629 | 1 | 13 |
228
+ | W0088 | 5 | 18 |
229
+ | W0734 | 5 | 9 |
230
+ | W0088 | 6 | 18 |
231
+ | W0734 | 6 | 9 |
232
+ | W0088 | 7 | 17 |
233
+ | W0734 | 7 | 9 |
234
+ | W0088 | 8 | 17 |
235
+ | W0734 | 8 | 9 |
236
+ | W0088 | 9 | 17 |
237
+ | W0734 | 9 | 9 |
238
+ | W0628 | 1 | 13 |
239
+
240
+ Scenario: left side of `&&' operator is a bitwise expression
241
+ Given a target source named "W0734.c" with:
242
+ """
243
+ static void func(int a, int b, int c, int d)
244
+ {
245
+ int r;
246
+
247
+ r = (a << b) && (c == d); /* W0734 */
248
+ r = (a >> b) && (c = d); /* W0734 */
249
+ r = (a & b) && (c && d); /* W0734 */
250
+ r = (a ^ b) && (c < d); /* W0734 */
251
+ r = (a | b) && (c != d); /* W0734 */
252
+ }
253
+ """
254
+ When I successfully run `adlint W0734.c` on noarch
255
+ Then the output should exactly match with:
256
+ | mesg | line | column |
257
+ | W0570 | 5 | 12 |
258
+ | W0572 | 5 | 12 |
259
+ | W0571 | 6 | 12 |
260
+ | W0572 | 6 | 12 |
261
+ | W0572 | 7 | 12 |
262
+ | W0572 | 8 | 12 |
263
+ | W0572 | 9 | 12 |
264
+ | W0104 | 1 | 22 |
265
+ | W0104 | 1 | 29 |
266
+ | W0104 | 1 | 43 |
267
+ | W0629 | 1 | 13 |
268
+ | W0088 | 5 | 18 |
269
+ | W0734 | 5 | 9 |
270
+ | W0508 | 6 | 18 |
271
+ | W0734 | 6 | 9 |
272
+ | W0088 | 7 | 17 |
273
+ | W0734 | 7 | 9 |
274
+ | W0088 | 8 | 17 |
275
+ | W0734 | 8 | 9 |
276
+ | W0088 | 9 | 17 |
277
+ | W0734 | 9 | 9 |
278
+ | W0108 | 6 | 24 |
279
+ | W0628 | 1 | 13 |
280
+
281
+ Scenario: left side of `||' operator is a bitwise expression
282
+ Given a target source named "W0734.c" with:
283
+ """
284
+ static void func(int a, int b, int c, int d)
285
+ {
286
+ int r;
287
+
288
+ r = (a << b) || (c == d); /* W0734 */
289
+ r = (a >> b) || (c = d); /* W0734 */
290
+ r = (a & b) || (c && d); /* W0734 */
291
+ r = (a ^ b) || (c < d); /* W0734 */
292
+ r = (a | b) || (c != d); /* W0734 */
293
+ }
294
+ """
295
+ When I successfully run `adlint W0734.c` on noarch
296
+ Then the output should exactly match with:
297
+ | mesg | line | column |
298
+ | W0570 | 5 | 12 |
299
+ | W0572 | 5 | 12 |
300
+ | W0571 | 6 | 12 |
301
+ | W0572 | 6 | 12 |
302
+ | W0572 | 7 | 12 |
303
+ | W0572 | 8 | 12 |
304
+ | W0572 | 9 | 12 |
305
+ | W0104 | 1 | 22 |
306
+ | W0104 | 1 | 29 |
307
+ | W0104 | 1 | 43 |
308
+ | W0629 | 1 | 13 |
309
+ | W0088 | 5 | 18 |
310
+ | W0734 | 5 | 9 |
311
+ | W0508 | 6 | 18 |
312
+ | W0734 | 6 | 9 |
313
+ | W0088 | 7 | 17 |
314
+ | W0734 | 7 | 9 |
315
+ | W0088 | 8 | 17 |
316
+ | W0734 | 8 | 9 |
317
+ | W0088 | 9 | 17 |
318
+ | W0734 | 9 | 9 |
319
+ | W0108 | 6 | 24 |
320
+ | W0628 | 1 | 13 |
321
+
322
+ # vim:ts=2:sw=2:sts=2:et: