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