aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c')
-rw-r--r--test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c b/test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c
new file mode 100644
index 000000000000..b34744970610
--- /dev/null
+++ b/test/CodeGen/rdr-6098585-fallthrough-to-empty-range.c
@@ -0,0 +1,15 @@
+// RUN: clang-cc -triple i386-unknown-unknown --emit-llvm-bc -o - %s | opt -std-compile-opts | llvm-dis > %t &&
+// RUN: grep "ret i32 %" %t
+
+// Make sure return is not constant (if empty range is skipped or miscompiled)
+
+int f0(unsigned x) {
+ switch(x) {
+ case 2:
+ // fallthrough empty range
+ case 10 ... 9:
+ return 10;
+ default:
+ return 0;
+ }
+}