From 744f885e2a505136203e3e0eef51f72dbe78b511 Mon Sep 17 00:00:00 2001 From: Dániel Buga Date: Sat, 9 Jan 2021 10:22:06 +0100 Subject: Remove unreachable panics from VecDeque --- src/test/codegen/vecdeque_no_panic.rs | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/test/codegen/vecdeque_no_panic.rs (limited to 'src/test/codegen') diff --git a/src/test/codegen/vecdeque_no_panic.rs b/src/test/codegen/vecdeque_no_panic.rs new file mode 100644 index 00000000000..cbf420bada9 --- /dev/null +++ b/src/test/codegen/vecdeque_no_panic.rs @@ -0,0 +1,19 @@ +// This test checks that `VecDeque::front[_mut]()` and `VecDeque::back[_mut]()` can't panic. + +// compile-flags: -O +// ignore-debug: the debug assertions get in the way + +#![crate_type = "lib"] + +use std::collections::VecDeque; + +// CHECK-LABEL: @dont_panic +#[no_mangle] +pub fn dont_panic(v: &mut VecDeque) { + // CHECK-NOT: expect + // CHECK-NOT: panic + v.front(); + v.front_mut(); + v.back(); + v.back_mut(); +} -- cgit 1.4.1-3-g733a5