about summary refs log tree commit diff
path: root/src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs')
-rw-r--r--src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs b/src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs
new file mode 100644
index 00000000000..77419e1132d
--- /dev/null
+++ b/src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs
@@ -0,0 +1,17 @@
+// run-pass
+#![feature(box_syntax)]
+
+/*!
+ * This is a regression test for a bug in LLVM, fixed in upstream r179587,
+ * where the switch instructions generated for destructuring enums
+ * represented with nullable pointers could be misoptimized in some cases.
+ */
+
+enum List<X> { Nil, Cons(X, Box<List<X>>) }
+pub fn main() {
+    match List::Cons(10, box List::Nil) {
+        List::Cons(10, _) => {}
+        List::Nil => {}
+        _ => panic!()
+    }
+}