-
Notifications
You must be signed in to change notification settings - Fork 352
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Trying to allocate isize::MAX + 1 bytes ICEs Miri #3679
Comments
saethlin
added
C-bug
Category: This is a bug.
I-ICE
Impact: makes Miri crash with some ICE
labels
Jun 16, 2024
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Jun 16, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
That's kind of expected, Miri does not make any attempt to handle OOM or too big allocations. But probably it shouldn't be that |
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Jun 18, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Jun 20, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Jun 29, 2024
show proper UB when making a too large allocation request Fixes rust-lang/miri#3679
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Aug 15, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Aug 15, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Aug 19, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Aug 20, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
Aug 21, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
github-actions bot
pushed a commit
that referenced
this issue
Aug 26, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into #3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
lnicola
pushed a commit
to lnicola/rust-analyzer
that referenced
this issue
Aug 29, 2024
Add a precondition check for Layout::from_size_align_unchecked Ran into this while looking into rust-lang/miri#3679. This is of course not the cause of the ICE, but the reproducer doesn't encounter a precondition check and it ought to.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This program (reduced from an ICE encountered when running the tests for https://crates.io/crates/tinyset):
Hits this ICE:
Caused by this unwrap:
miri/src/alloc_bytes.rs
Line 71 in 60a7200
The text was updated successfully, but these errors were encountered: