clang/test/SemaCXX/bool.cpp

   1 // RUN: %clang_cc1 %std_cxx98-14 -fsyntax-only -verify=expected,precxx17 -Wno-constant-conversion %s
   2 // RUN: %clang_cc1 %std_cxx98-14 -fsyntax-only -verify=expected,precxx17 -Wno-constant-conversion -Wno-deprecated -Wdeprecated-increment-bool %s
   3 // RUN: %clang_cc1 %std_cxx17- -fsyntax-only -verify=expected,cxx17 -Wno-constant-conversion -Wno-deprecated -Wdeprecated-increment-bool %s
   4
   5 // Bool literals can be enum values.
   6 enum {
   7   ReadWrite = false,
   8   ReadOnly = true
   9 };
  10
  11 // bool cannot be decremented, and gives a warning on increment
  12 void test(bool b)
  13 {
  14   ++b; // precxx17-warning {{incrementing expression of type bool is deprecated}} \
  15           cxx17-error {{ISO C++17 does not allow incrementing expression of type bool}}
  16   b++; // precxx17-warning {{incrementing expression of type bool is deprecated}} \
  17           cxx17-error {{ISO C++17 does not allow incrementing expression of type bool}}
  18   --b; // expected-error {{cannot decrement expression of type bool}}
  19   b--; // expected-error {{cannot decrement expression of type bool}}
  20
  21   bool *b1 = (int *)0; // expected-error{{cannot initialize}}
  22 }
  23
  24 // static_assert_arg_is_bool(x) compiles only if x is a bool.
  25 template <typename T>
  26 void static_assert_arg_is_bool(T x) {
  27   bool* p = &x;
  28 }
  29
  30 void test2() {
  31   int n = 2;
  32   static_assert_arg_is_bool(n && 4);  // expected-warning {{use of logical '&&' with constant operand}} \
  33                                       // expected-note {{use '&' for a bitwise operation}} \
  34                                       // expected-note {{remove constant to silence this warning}}
  35   static_assert_arg_is_bool(n || 5);  // expected-warning {{use of logical '||' with constant operand}} \
  36                                       // expected-note {{use '|' for a bitwise operation}}
  37 }