1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
/* PR c/81783 */
/* { dg-do compile } */
/* { dg-options "-Wtautological-compare" } */
enum E { FOO = 128 };
int
f (int a)
{
if ((a & 16) == 10) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((16 & a) == 10) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (10 == (a & 16)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (10 == (16 & a)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((a & 16) != 10) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((16 & a) != 10) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (10 != (a & 16)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (10 != (16 & a)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((a & 9) == 8)
return 1;
if ((9 & a) == 8)
return 1;
if (8 == (a & 9))
return 1;
if (8 == (9 & a))
return 1;
if ((a & 9) != 8)
return 1;
if ((9 & a) != 8)
return 1;
if (8 != (a & 9))
return 1;
if (8 != (9 & a))
return 1;
if ((a | 16) == 10) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((16 | a) == 10) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (10 == (a | 16)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (10 == (16 | a)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((a | 16) != 10) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((16 | a) != 10) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (10 != (a | 16)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (10 != (16 | a)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((a | 9) == 8) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((9 | a) == 8) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (8 == (a | 9)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if (8 == (9 | a)) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((a | 9) != 8) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((9 | a) != 8) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (8 != (a | 9)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if (8 != (9 | a)) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((a & 128) != 1) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((128 & a) != 1) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((a & FOO) != 1) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((FOO & a) != 1) /* { dg-warning "bitwise comparison always evaluates to true" } */
return 1;
if ((a & 128) == 1) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((128 & a) == 1) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((a & FOO) == 1) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
if ((FOO & a) == 1) /* { dg-warning "bitwise comparison always evaluates to false" } */
return 1;
#define N 0x10
if ((a & N) == 10) /* { dg-bogus "bitwise comparison always evaluates to false" "" { xfail *-*-* } } */
return 1;
if ((a | N) == 10) /* { dg-bogus "bitwise comparison always evaluates to false" "" { xfail *-*-* } } */
return 1;
return 0;
}
|
