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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/* PR c++/62153 */
/* { dg-do compile } */
/* { dg-options "-Wall" } */
#ifndef __cplusplus
# define bool _Bool
# define true 1
# define false 0
#endif
extern bool foo (void);
bool r;
enum { E = 4 };
void
fn1 (bool b)
{
r = b == 2; /* { dg-warning "with boolean expression is always false" } */
r = b != 2; /* { dg-warning "with boolean expression is always true" } */
r = b < 2; /* { dg-warning "with boolean expression is always true" } */
r = b > 2; /* { dg-warning "with boolean expression is always false" } */
r = b <= 2; /* { dg-warning "with boolean expression is always true" } */
r = b >= 2; /* { dg-warning "with boolean expression is always false" } */
r = b == -1; /* { dg-warning "with boolean expression is always false" } */
r = b != -1; /* { dg-warning "with boolean expression is always true" } */
r = b < -1; /* { dg-warning "with boolean expression is always false" } */
r = b > -1; /* { dg-warning "with boolean expression is always true" } */
r = b <= -1; /* { dg-warning "with boolean expression is always false" } */
r = b >= -1; /* { dg-warning "with boolean expression is always true" } */
r = foo () == 2; /* { dg-warning "with boolean expression is always false" } */
r = foo () != 2; /* { dg-warning "with boolean expression is always true" } */
r = foo () < 2; /* { dg-warning "with boolean expression is always true" } */
r = foo () > 2; /* { dg-warning "with boolean expression is always false" } */
r = foo () <= 2; /* { dg-warning "with boolean expression is always true" } */
r = foo () >= 2; /* { dg-warning "with boolean expression is always false" } */
r = b == E; /* { dg-warning "with boolean expression is always false" } */
r = b != E; /* { dg-warning "with boolean expression is always true" } */
r = b < E; /* { dg-warning "with boolean expression is always true" } */
r = b > E; /* { dg-warning "with boolean expression is always false" } */
r = b <= E; /* { dg-warning "with boolean expression is always true" } */
r = b >= E; /* { dg-warning "with boolean expression is always false" } */
/* Swap LHS and RHS. */
r = 2 == b; /* { dg-warning "with boolean expression is always false" } */
r = 2 != b; /* { dg-warning "with boolean expression is always true" } */
r = 2 < b; /* { dg-warning "with boolean expression is always false" } */
r = 2 > b; /* { dg-warning "with boolean expression is always true" } */
r = 2 <= b; /* { dg-warning "with boolean expression is always false" } */
r = 2 >= b; /* { dg-warning "with boolean expression is always true" } */
r = -1 == b; /* { dg-warning "with boolean expression is always false" } */
r = -1 != b; /* { dg-warning "with boolean expression is always true" } */
r = -1 < b; /* { dg-warning "with boolean expression is always true" } */
r = -1 > b; /* { dg-warning "with boolean expression is always false" } */
r = -1 <= b; /* { dg-warning "with boolean expression is always true" } */
r = -1 >= b; /* { dg-warning "with boolean expression is always false" } */
r = E == b; /* { dg-warning "with boolean expression is always false" } */
r = E != b; /* { dg-warning "with boolean expression is always true" } */
r = E < b; /* { dg-warning "with boolean expression is always false" } */
r = E > b; /* { dg-warning "with boolean expression is always true" } */
r = E <= b; /* { dg-warning "with boolean expression is always false" } */
r = E >= b; /* { dg-warning "with boolean expression is always true" } */
/* These are of course fine. */
r = b == false;
r = b != false;
r = b == true;
r = b != true;
r = b <= false;
r = b > false;
r = b < true;
r = b >= true;
}
void
fn2 (int i1, int i2)
{
r = (i1 == i2) == 2; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) != 2; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) < 2; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) > 2; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) <= 2; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) >= 2; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) == -1; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) != -1; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) < -1; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) > -1; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) <= -1; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) >= -1; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) == E; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) != E; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) < E; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) > E; /* { dg-warning "with boolean expression is always false" } */
r = (i1 == i2) <= E; /* { dg-warning "with boolean expression is always true" } */
r = (i1 == i2) >= E; /* { dg-warning "with boolean expression is always false" } */
}
void
fn3 (int n, bool b)
{
/* Don't warn here. */
r = b == n;
r = b != n;
r = b < n;
r = b > n;
r = b <= n;
r = b >= n;
r = n == E;
r = n != E;
r = n < E;
r = n > E;
r = n <= E;
r = n >= E;
}
|
