| // 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() & (int)bar(); // 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 = 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() bitand 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)); |
| } |
