// skip-filecheck | |
// unit-test: ConstProp | |
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY | |
// EMIT_MIR_FOR_EACH_BIT_WIDTH | |
// EMIT_MIR bad_op_unsafe_oob_for_slices.main.ConstProp.diff | |
#[allow(unconditional_panic)] | |
fn main() { | |
let a: *const [_] = &[1, 2, 3]; | |
unsafe { | |
let _b = (*a)[3]; | |
} | |
} |