Fix -Wswitch to warn about out of bounds enum cases even when there's a default

For consistency with GCC & reasonable sanity. The FIXME suggests that the
original author was perhaps using the default check for some other purpose,
not realizing the more obvious limitation/false-negatives it creates, but this
doesn't seem to produce any regressions & fixes the included test.

llvm-svn: 148649

1 files changed, 8 insertions, 0 deletions

diff --git a/clang/test/Sema/switch.c b/clang/test/Sema/switch.c
index 63ffed18e31..f36ecb255f9 100644
--- a/clang/test/Sema/switch.c
+++ b/clang/test/Sema/switch.c
@@ -297,3 +297,11 @@ int test18() {
   default: return 2; // expected-warning {{default is unreachable as all enumeration values are accounted for}}
   }
 }
+
+int test19() {
+  enum { A, B } a;
+  switch (a) {
+  case 7: return 1; // expected-warning {{case value not in enumerated type}}
+  default: return 3;
+  }
+}