|
111
|
1 /* PR c/49706 */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-Wlogical-not-parentheses" } */
|
|
|
4
|
|
|
5 #ifndef __cplusplus
|
|
|
6 #define bool _Bool
|
|
|
7 #endif
|
|
|
8 enum E { A, B };
|
|
|
9 bool b;
|
|
|
10 extern enum E foo_e (void);
|
|
|
11 extern bool foo_b (void);
|
|
|
12 extern int foo_i (void);
|
|
|
13
|
|
|
14 #ifdef __cplusplus
|
|
|
15 template <class T, class U> bool tfn1(T t, U u) { return (!t == u); } /* { dg-warning "logical not is only applied to the left hand side of comparison" "" { target c++ } } */
|
|
|
16 template <class T, class U> bool tfn2(T t, U u) { return ((!t) == u); }
|
|
|
17 template <class T, class U> bool tfn3(T t, U u) { return (!g(t) == u); } /* { dg-warning "logical not is only applied to the left hand side of comparison" "" { target c++ } } */
|
|
|
18 template <class T, class U> bool tfn4(T t, U u) { return ((!g(t)) == u); }
|
|
|
19 template <class T, class U> bool tfn5(T t, U u) { return (!!t == u); } /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
20 template <class T, class U> bool tfn6(T t, U u) { return (!!g(t) == u); } /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
21 template <int N> bool tfn7(int i1, int i2) { return (!i1 == i2); } /* { dg-warning "logical not is only applied to the left hand side of comparison" "" { target c++ } } */
|
|
|
22 #endif
|
|
|
23
|
|
|
24 void
|
|
|
25 fn1 (int i1, int i2, bool b1, bool b2)
|
|
|
26 {
|
|
|
27 b = !i1 == i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
28 b = !i1 != i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
29 b = !i1 < i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
30 b = !i1 > i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
31 b = !i1 <= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
32 b = !i1 >= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
33
|
|
|
34 b = i1 == i2;
|
|
|
35 b = i1 != i2;
|
|
|
36 b = i1 < i2;
|
|
|
37 b = i1 > i2;
|
|
|
38 b = i1 <= i2;
|
|
|
39 b = i1 >= i2;
|
|
|
40
|
|
|
41 /* Parens suppress the warning. */
|
|
|
42 b = (!i1) == i2;
|
|
|
43 b = (!i1) != i2;
|
|
|
44 b = (!i1) < i2;
|
|
|
45 b = (!i1) > i2;
|
|
|
46 b = (!i1) <= i2;
|
|
|
47 b = (!i1) >= i2;
|
|
|
48
|
|
|
49 /* ...but not these parens. */
|
|
|
50 b = (!i1 == i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
51 b = (!i1 != i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
52 b = (!i1 < i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
53 b = (!i1 > i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
54 b = (!i1 <= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
55 b = (!i1 >= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
56
|
|
|
57 b = !b1 == b2;
|
|
|
58 b = !b1 != b2;
|
|
|
59 b = !b1 < b2;
|
|
|
60 b = !b1 > b2;
|
|
|
61 b = !b1 <= b2;
|
|
|
62 b = !b1 >= b2;
|
|
|
63
|
|
|
64 b = !b1 == i2;
|
|
|
65 b = !b1 != i2;
|
|
|
66 b = !b1 < i2;
|
|
|
67 b = !b1 > i2;
|
|
|
68 b = !b1 <= i2;
|
|
|
69 b = !b1 >= i2;
|
|
|
70
|
|
|
71 b = !foo_i () == i1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
72 b = (!foo_i ()) == i1;
|
|
|
73 b = !foo_b () == b1;
|
|
|
74
|
|
|
75 b = !!i1 == i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
76 b = !!i1 != i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
77 b = !!i1 < i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
78 b = !!i1 > i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
79 b = !!i1 <= i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
80 b = !!i1 >= i2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
81 b = !!foo_i () == i1; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
82
|
|
|
83 b = !!b1 == i2;
|
|
|
84 b = !!b1 != i2;
|
|
|
85 b = !!b1 < i2;
|
|
|
86 b = !!b1 > i2;
|
|
|
87 b = !!b1 <= i2;
|
|
|
88 b = !!b1 >= i2;
|
|
|
89
|
|
|
90 /* Be careful here. */
|
|
|
91 b = (i1 == 0) != 0;
|
|
|
92 b = (i1 == 0) == 0;
|
|
|
93 b = (i1 != 0) != 0;
|
|
|
94 b = (i1 != 0) == 0;
|
|
|
95
|
|
|
96 b = !5 == 4; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
97 b = !!5 == 4; /* { dg-bogus "logical not is only applied to the left hand side of comparison" "" { xfail *-*-* } } */
|
|
|
98 b = !1 == 1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
99 b = !!1 == 1; /* { dg-bogus "logical not is only applied to the left hand side of comparison" "" { xfail *-*-* } } */
|
|
|
100 }
|
|
|
101
|
|
|
102 void
|
|
|
103 fn2 (enum E e)
|
|
|
104 {
|
|
|
105 b = e == B;
|
|
|
106 b = e == foo_e ();
|
|
|
107 b = foo_e () == A;
|
|
|
108 b = foo_e () == foo_e ();
|
|
|
109
|
|
|
110 b = !e == A;
|
|
|
111 b = !e == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
112 b = !foo_e () == A;
|
|
|
113 b = !foo_e () == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
114
|
|
|
115 b = !(e == A);
|
|
|
116 b = !(e == foo_e ());
|
|
|
117 b = !(foo_e () == A);
|
|
|
118 b = !(foo_e () == foo_e ());
|
|
|
119
|
|
|
120 b = (!e) == A;
|
|
|
121 b = (!e) == foo_e ();
|
|
|
122 b = (!foo_e ()) == A;
|
|
|
123 b = (!foo_e ()) == foo_e ();
|
|
|
124 }
|
|
|
125
|
|
|
126 void
|
|
|
127 fn3 (int i1, float f2)
|
|
|
128 {
|
|
|
129 b = !i1 == f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
130 b = !i1 != f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
131 b = !i1 < f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
132 b = !i1 > f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
133 b = !i1 <= f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
134 b = !i1 >= f2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
135
|
|
|
136 b = i1 == f2;
|
|
|
137 b = i1 != f2;
|
|
|
138 b = i1 < f2;
|
|
|
139 b = i1 > f2;
|
|
|
140 b = i1 <= f2;
|
|
|
141 b = i1 >= f2;
|
|
|
142
|
|
|
143 /* Parens suppress the warning. */
|
|
|
144 b = (!i1) == f2;
|
|
|
145 b = (!i1) != f2;
|
|
|
146 b = (!i1) < f2;
|
|
|
147 b = (!i1) > f2;
|
|
|
148 b = (!i1) <= f2;
|
|
|
149 b = (!i1) >= f2;
|
|
|
150
|
|
|
151 /* ...but not these parens. */
|
|
|
152 b = (!i1 == f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
153 b = (!i1 != f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
154 b = (!i1 < f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
155 b = (!i1 > f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
156 b = (!i1 <= f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
157 b = (!i1 >= f2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
158
|
|
|
159 b = !!i1 == f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
160 b = !!i1 != f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
161 b = !!i1 < f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
162 b = !!i1 > f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
163 b = !!i1 <= f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
164 b = !!i1 >= f2; /* { dg-bogus "logical not is only applied to the left hand side of comparison" } */
|
|
|
165 }
|
|
|
166
|
|
|
167 void
|
|
|
168 fn4 (enum E e)
|
|
|
169 {
|
|
|
170 b = e == A;
|
|
|
171 b = e == foo_e ();
|
|
|
172 b = foo_e () == B;
|
|
|
173 b = foo_e () == foo_e ();
|
|
|
174
|
|
|
175 b = !e == B; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
176 b = !e == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
177 b = !foo_e () == B; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
178 b = !foo_e () == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
|
|
|
179
|
|
|
180 b = !(e == B);
|
|
|
181 b = !(e == foo_e ());
|
|
|
182 b = !(foo_e () == B);
|
|
|
183 b = !(foo_e () == foo_e ());
|
|
|
184
|
|
|
185 b = (!e) == B;
|
|
|
186 b = (!e) == foo_e ();
|
|
|
187 b = (!foo_e ()) == B;
|
|
|
188 b = (!foo_e ()) == foo_e ();
|
|
|
189 }
|
