diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-09-22 05:37:52 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-09-22 05:37:52 +0000 |
| commit | bf31cdb08ae233a147437251b7ecc366284d1209 (patch) | |
| tree | 1d90455f73a970d068f249aa6cc3fa0734c7cba1 /tests/codegen | |
| parent | 5211d045c9aa105cd241106183366da5e6d6416c (diff) | |
| parent | d5ec9af09da9f6d96b350ee53fffdad58721d32e (diff) | |
| download | rust-bf31cdb08ae233a147437251b7ecc366284d1209.tar.gz rust-bf31cdb08ae233a147437251b7ecc366284d1209.zip | |
Merge from rustc
Diffstat (limited to 'tests/codegen')
| -rw-r--r-- | tests/codegen/vecdeque-nonempty-get-no-panic.rs | 17 |
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(); + } +} |
