John McCall | 0fb9708 | 2010-05-18 03:19:21 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -Wswitch-enum %s |
Edward O'Callaghan | 12356b1 | 2009-10-17 19:32:54 +0000 | [diff] [blame] | 2 | |
| 3 | void test() { |
| 4 | bool x = true; |
| 5 | switch (x) { // expected-warning {{bool}} |
| 6 | case 0: |
| 7 | break; |
| 8 | } |
| 9 | |
| 10 | int n = 3; |
| 11 | switch (n && 1) { // expected-warning {{bool}} |
| 12 | case 1: |
| 13 | break; |
| 14 | } |
| 15 | } |
Douglas Gregor | 84fb9c0 | 2009-11-23 13:46:08 +0000 | [diff] [blame] | 16 | |
| 17 | // PR5518 |
| 18 | struct A { |
| 19 | operator int(); // expected-note{{conversion to integral type}} |
| 20 | }; |
| 21 | |
| 22 | void x() { |
| 23 | switch(A()) { |
| 24 | } |
| 25 | } |
| 26 | |
| 27 | enum E { e1, e2 }; |
| 28 | struct B : A { |
| 29 | operator E() const; // expected-note{{conversion to enumeration type}} |
| 30 | }; |
| 31 | |
| 32 | void x2() { |
| 33 | switch (B()) { // expected-error{{multiple conversions}} |
| 34 | } |
| 35 | } |
Douglas Gregor | f21bac6 | 2009-11-23 13:53:21 +0000 | [diff] [blame] | 36 | |
| 37 | struct C; // expected-note{{forward declaration}} |
| 38 | |
| 39 | void x3(C &c) { |
| 40 | switch (c) { // expected-error{{incomplete class type}} |
| 41 | } |
| 42 | } |
John McCall | 0fb9708 | 2010-05-18 03:19:21 +0000 | [diff] [blame] | 43 | |
| 44 | namespace test3 { |
| 45 | enum En { A, B, C }; |
| 46 | template <En how> void foo() { |
| 47 | int x = 0, y = 5; |
| 48 | |
| 49 | switch (how) { //expected-warning {{no case matching constant switch condition '2'}} |
| 50 | case A: x *= y; break; |
| 51 | case B: x += y; break; |
| 52 | // No case for C, but it's okay because we have a constant condition. |
| 53 | } |
| 54 | } |
| 55 | |
| 56 | template void foo<A>(); |
| 57 | template void foo<B>(); |
| 58 | template void foo<C>(); //expected-note {{in instantiation}} |
| 59 | } |