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
|
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wbool-operation %s
// RUN: %clang_cc1 -x c -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -x c -fsyntax-only -Wbitwise-instead-of-logical -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
// RUN: %clang_cc1 -x c -fsyntax-only -Wbool-operation -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wbool-operation %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -Wbitwise-instead-of-logical -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
// RUN: %clang_cc1 -x c++ -fsyntax-only -Wbool-operation -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
#ifdef __cplusplus
typedef bool boolean;
#else
typedef _Bool boolean;
#endif
boolean foo(void);
boolean bar(void);
boolean baz(void) __attribute__((const));
void sink(boolean);
#define FOO foo()
void test(boolean a, boolean b, int *p, volatile int *q, int i) {
b = a | b;
b = foo() | a;
b = (p != 0) | (*p == 42); // FIXME: also warn for a non-volatile pointer dereference
b = foo() | (*q == 42); // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
b = foo() | (int)(*q == 42); // OK, no warning expected
b = a | foo();
b = (int)a | foo(); // OK, no warning expected
b = foo() | bar(); // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
// CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"||"
b = foo() | !bar(); // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
// CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"||"
b = foo() | (int)bar(); // OK, no warning expected
b = a | baz();
b = bar() | FOO; // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
// CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"||"
b = foo() | (int)FOO; // OK, no warning expected
b = b | foo();
b = bar() | (i > 4);
b = (i == 7) | foo();
#ifdef __cplusplus
b = foo() bitor bar(); // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
#endif
if (foo() | bar()) // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
;
sink(a | b);
sink(a | foo());
sink(foo() | bar()); // expected-warning {{use of bitwise '|' with boolean operands}}
// expected-note@-1 {{cast one or both operands to int to silence this warning}}
int n = i + 10;
b = (n | (n - 1));
}
|
