From 73afc00cf99f9db95dc35b0bd33604c3879ca3e7 Mon Sep 17 00:00:00 2001 From: bendn Date: Thu, 19 Oct 2023 06:46:28 +0700 Subject: use `assume(idx < self.len())` in `[T]::get_unchecked` --- tests/codegen/issues/issue-116878.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/codegen/issues/issue-116878.rs (limited to 'tests/codegen') diff --git a/tests/codegen/issues/issue-116878.rs b/tests/codegen/issues/issue-116878.rs new file mode 100644 index 00000000000..d5f679459f7 --- /dev/null +++ b/tests/codegen/issues/issue-116878.rs @@ -0,0 +1,13 @@ +// no-system-llvm +// compile-flags: -O +// ignore-debug: the debug assertions get in the way +#![crate_type = "lib"] + +/// Make sure no bounds checks are emitted after a `get_unchecked`. +// CHECK-LABEL: @unchecked_slice_no_bounds_check +#[no_mangle] +pub unsafe fn unchecked_slice_no_bounds_check(s: &[u8]) -> u8 { + let a = *s.get_unchecked(1); + // CHECK-NOT: panic_bounds_check + a + s[0] +} -- cgit 1.4.1-3-g733a5