about summary refs log tree commit diff
path: root/tests/codegen
diff options
context:
space:
mode:
authorThe Miri Conjob Bot <miri@cron.bot>2023-09-22 05:37:52 +0000
committerThe Miri Conjob Bot <miri@cron.bot>2023-09-22 05:37:52 +0000
commitbf31cdb08ae233a147437251b7ecc366284d1209 (patch)
tree1d90455f73a970d068f249aa6cc3fa0734c7cba1 /tests/codegen
parent5211d045c9aa105cd241106183366da5e6d6416c (diff)
parentd5ec9af09da9f6d96b350ee53fffdad58721d32e (diff)
downloadrust-bf31cdb08ae233a147437251b7ecc366284d1209.tar.gz
rust-bf31cdb08ae233a147437251b7ecc366284d1209.zip
Merge from rustc
Diffstat (limited to 'tests/codegen')
-rw-r--r--tests/codegen/vecdeque-nonempty-get-no-panic.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/codegen/vecdeque-nonempty-get-no-panic.rs b/tests/codegen/vecdeque-nonempty-get-no-panic.rs
new file mode 100644
index 00000000000..c2877d2d0ca
--- /dev/null
+++ b/tests/codegen/vecdeque-nonempty-get-no-panic.rs
@@ -0,0 +1,17 @@
+// Guards against regression for optimization discussed in issue #80836
+
+// compile-flags: -O
+// ignore-debug: the debug assertions get in the way
+
+#![crate_type = "lib"]
+
+use std::collections::VecDeque;
+
+// CHECK-LABEL: @front
+// CHECK: ret void
+#[no_mangle]
+pub fn front(v: VecDeque<usize>) {
+    if !v.is_empty() {
+        v.get(0).unwrap();
+    }
+}