blob: f5235b0e1f17bfe0f78b4800c902c680f3a35c64 [file] [log] [blame]
const C: () = {
let value = [1, 2];
let ptr = value.as_ptr().wrapping_add(2);
let fat = std::ptr::slice_from_raw_parts(ptr, usize::MAX);
unsafe {
// This used to ICE, but it should just report UB.
let _ice = (*fat)[usize::MAX - 1];
//~^ERROR: overflow
}
};
fn main() {}