test/CXX/stmt.stmt/stmt.select/stmt.switch/p2-0x.cpp


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

// RUN: %clang_cc1 -std=c++11 %s -verify
// expected-no-diagnostics

struct Value {
  constexpr Value(int n) : n(n) {}
  constexpr operator short() { return n; }
  int n;
};
enum E { E0, E1 };
struct Alt {
  constexpr operator E() { return E0; }
};

constexpr short s = Alt();

void test(Value v) {
  switch (v) {
    case Alt():
    case E1:
    case Value(2):
    case 3:
      break;
  }
  switch (Alt a = Alt()) {
    case Alt():
    case E1:
    case Value(2):
    case 3:
      break;
  }
  switch (E0) {
    case Alt():
    case E1:
    // FIXME: These should produce a warning that 2 and 3 are not values of the
    // enumeration.
    case Value(2):
    case 3:
      break;
  }
}