| //@ compile-flags: -Copt-level=3 -C panic=abort |
| #![crate_type = "lib"] |
| |
| fn search<T: Ord + Eq>(arr: &mut [T], a: &T) -> Result<usize, ()> { |
| match arr.iter().position(|x| x == a) { |
| Some(p) => Ok(p), |
| None => Err(()), |
| } |
| } |
| |
| // CHECK-LABEL: @position_no_bounds_check |
| #[no_mangle] |
| pub fn position_no_bounds_check(y: &mut [u32], x: &u32, z: &u32) -> bool { |
| // This contains "call assume" so we cannot just rule out all calls |
| // CHECK-NOT: panic_bounds_check |
| if let Ok(p) = search(y, x) { y[p] == *z } else { false } |
| } |
| |
| // just to make sure that panicking really emits "panic_bounds_check" somewhere in the IR |
| // CHECK-LABEL: @test_check |
| #[no_mangle] |
| pub fn test_check(y: &[i32]) -> i32 { |
| // CHECK: panic_bounds_check |
| y[12] |
| } |
