1 // RUN: %clang_cc1 -x c -fsyntax-only -verify -Wbool-operation %s
2 // RUN: %clang_cc1 -x c -fsyntax-only -verify -Wall %s
3 // RUN: %clang_cc1 -x c -fsyntax-only -Wbitwise-instead-of-logical -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
4 // RUN: %clang_cc1 -x c -fsyntax-only -Wbool-operation -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
5 // RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wbool-operation %s
6 // RUN: %clang_cc1 -x c++ -fsyntax-only -verify -Wall %s
7 // RUN: %clang_cc1 -x c++ -fsyntax-only -Wbitwise-instead-of-logical -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
8 // RUN: %clang_cc1 -x c++ -fsyntax-only -Wbool-operation -fdiagnostics-parseable-fixits %s 2>&1 | FileCheck %s
9
10 #ifdef __cplusplus
11 typedef bool boolean;
12 #else
13 typedef _Bool boolean;
14 #endif
15
16 boolean foo(void);
17 boolean bar(void);
18 boolean baz(void) __attribute__((const));
19 void sink(boolean);
20
21 #define FOO foo()
22 #define MY_AND &
23 #define My_BITAND bitand
24
test(boolean a,boolean b,int * p,volatile int * q,int i)25 void test(boolean a, boolean b, int *p, volatile int *q, int i) {
26 b = a & b;
27 b = foo() & a;
28 b = (p != 0) & (*p == 42); // FIXME: also warn for a non-volatile pointer dereference
29 b = foo() & (*q == 42); // expected-warning {{use of bitwise '&' with boolean operands}}
30 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
31 b = foo() & (int)(*q == 42); // OK, no warning expected
32 b = a & foo();
33 b = (int)a & foo(); // OK, no warning expected
34 b = foo() & bar(); // expected-warning {{use of bitwise '&' with boolean operands}}
35 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
36 // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"&&"
37 b = foo() & (int)bar(); // OK, no warning expected
38 b = foo() & !bar(); // expected-warning {{use of bitwise '&' with boolean operands}}
39 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
40 // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"&&"
41 b = a & baz();
42 b = bar() & FOO; // expected-warning {{use of bitwise '&' with boolean operands}}
43 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
44 // CHECK: fix-it:"{{.*}}":{[[@LINE-2]]:13-[[@LINE-2]]:14}:"&&"
45 b = foo() & (int)FOO; // OK, no warning expected
46 b = b & foo();
47 b = bar() & (i > 4);
48 b = (i == 7) & foo();
49 b = b MY_AND foo(); // OK, no warning expected
50
51 #ifdef __cplusplus
52 b = foo() bitand bar(); // Ok, no warning expected
53 b = foo() My_BITAND bar(); // Ok, no warning expected
54
55 #endif
56
57 if (foo() & bar()) // expected-warning {{use of bitwise '&' with boolean operands}}
58 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
59 ;
60
61 sink(a & b);
62 sink(a & foo());
63 sink(foo() & bar()); // expected-warning {{use of bitwise '&' with boolean operands}}
64 // expected-note@-1 {{cast one or both operands to int to silence this warning}}
65
66 int n = i + 10;
67 b = (n & (n - 1));
68
69 }
70