diff options
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.rs | 16 |
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!() + } +} |