//@ compile-flags: -O
#![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]
}