blob: 3139017c2417d06cb70a5384c835e349d12e7278 (
plain)
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
|
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wint-in-bool-context %s
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -x c -std=c23 -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wint-in-bool-context %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wall %s
#define ONE 1
#define TWO 2
#define SHIFT(l, r) l << r
#define MM a << a
#define AF 1 << 7
#ifdef __cplusplus
typedef bool boolean;
#else
typedef _Bool boolean;
#endif
enum num {
zero,
one,
two,
};
int test(int a, unsigned b, enum num n) {
boolean r;
r = a << a; // expected-warning {{converting the result of '<<' to a boolean}}
r = MM; // expected-warning {{converting the result of '<<' to a boolean}}
r = (1 << 7); // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
r = 2UL << 2; // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
r = 0 << a; // expected-warning {{converting the result of '<<' to a boolean always evaluates to false}}
r = 0 << 2; // expected-warning {{converting the result of '<<' to a boolean always evaluates to false}}
r = 1 << 0; // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
r = 1 << 2; // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
r = 1ULL << 2; // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
r = 2 << b; // expected-warning {{converting the result of '<<' to a boolean}}
r = (unsigned)(2 << b);
r = b << 7;
r = (1 << a); // expected-warning {{converting the result of '<<' to a boolean}}
r = TWO << a; // expected-warning {{converting the result of '<<' to a boolean}}
r = a << 7; // expected-warning {{converting the result of '<<' to a boolean}}
r = ONE << a; // expected-warning {{converting the result of '<<' to a boolean}}
if (TWO << a) // expected-warning {{converting the result of '<<' to a boolean}}
return a;
a = 1 << 2 ? 0: 1; // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
a = 1 << a ? 0: 1; // expected-warning {{converting the result of '<<' to a boolean}}
for (a = 0; 1 << a; a++) // expected-warning {{converting the result of '<<' to a boolean}}
;
if (a << TWO) // expected-warning {{converting the result of '<<' to a boolean}}
return a;
if (n || two)
// expected-warning@-1 {{converting the enum constant to a boolean}}
return a;
if (n == one || two)
// expected-warning@-1 {{converting the enum constant to a boolean}}
return a;
if (r && two)
// expected-warning@-1 {{converting the enum constant to a boolean}}
return a;
if (two && r)
// expected-warning@-1 {{converting the enum constant to a boolean}}
return a;
if (n == one && two)
// expected-warning@-1 {{converting the enum constant to a boolean}}
return a;
if(1 << 5) // expected-warning {{converting the result of '<<' to a boolean always evaluates to true}}
return a;
// Don't warn in macros.
return SHIFT(1, a);
}
int GH64356(int arg) {
if ((arg == 1) && (1 == 1)) return 1;
return 0;
if ((64 > 32) && (32 < 64))
return 2;
if ((1 == 1) && (arg == 1)) return 1;
return 0;
}
|
