summaryrefslogtreecommitdiffstats
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.rs16
1 files changed, 16 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 000000000..a05cf8b93
--- /dev/null
+++ b/src/test/ui/structs-enums/enum-nullable-simplifycfg-misopt.rs
@@ -0,0 +1,16 @@
+// run-pass
+
+/*!
+ * 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, #[allow(unused_tuple_struct_fields)] Box<List<X>>) }
+pub fn main() {
+ match List::Cons(10, Box::new(List::Nil)) {
+ List::Cons(10, _) => {}
+ List::Nil => {}
+ _ => panic!()
+ }
+}