- Notifications
You must be signed in to change notification settings - Fork 404
Closed
Labels
C-bugCategory: This is a bug.Category: This is a bug.I-ICEImpact: makes Miri crash with some ICEImpact: makes Miri crash with some ICE
Description
This program (reduced from an ICE encountered when running the tests for https://crates.io/crates/tinyset):
fn main() { let bytes = isize::MAX as usize + 1; unsafe { let layout = std::alloc::Layout::from_size_align_unchecked(bytes, 1); // Undetected library(?) UB here let _ = std::alloc::alloc_zeroed(layout); } }Hits this ICE:
thread 'rustc' panicked at src/tools/miri/src/alloc_bytes.rs:71:59: called `Result::unwrap()` on an `Err` value: LayoutError Caused by this unwrap:
Line 71 in 60a7200
| let layout = Layout::from_size_align(size, align).unwrap(); |
Metadata
Metadata
Assignees
Labels
C-bugCategory: This is a bug.Category: This is a bug.I-ICEImpact: makes Miri crash with some ICEImpact: makes Miri crash with some ICE