blob: 5864f53232493c9adf2019108d4d36b87fcee814 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// 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]
}
|
