annotate gcc/testsuite/c-c++-common/Wlogical-not-parentheses-3.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR c/77423 */
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3 /* { dg-options "-Wlogical-not-parentheses" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #ifndef __cplusplus
kono
parents:
diff changeset
6 # define bool _Bool
kono
parents:
diff changeset
7 #endif
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 int
kono
parents:
diff changeset
10 f (int a, bool b, bool c)
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12 int r = 0;
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 r += !a == (b | c);
kono
parents:
diff changeset
15 r += !a == (b ^ c);
kono
parents:
diff changeset
16 r += !a == (b & c);
kono
parents:
diff changeset
17 r += !a == ~b;
kono
parents:
diff changeset
18 r += !a == ~(int) b;
kono
parents:
diff changeset
19 r += !a == ((b & c) | c);
kono
parents:
diff changeset
20 r += !a == ((b & c) | (b ^ c));
kono
parents:
diff changeset
21 r += !a == (int) (b ^ c);
kono
parents:
diff changeset
22 r += !a == (int) ~b;
kono
parents:
diff changeset
23 r += !a == ~~b;
kono
parents:
diff changeset
24 r += !a == ~(b | c);
kono
parents:
diff changeset
25 r += !a == ~(b | (a == 1));
kono
parents:
diff changeset
26 r += !a == ~(a == 1);
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 r += !a == ((b & c) | (b ^ a)); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 return r;
kono
parents:
diff changeset
31 }