Skip to content
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

Fix ICE when trying to GC a Stack with an unknown bottom #2600

Merged
merged 1 commit into from
Oct 19, 2022

Conversation

saethlin
Copy link
Member

Fixes rust-lang/rust#103167

@RalfJung I prefer this approach because the whole GC system is sloppy already in order to be efficient (doesn't run often, ignores small stacks) so a bit more imprecision for a simple implementation seems worth it to me. But I'm of course willing to be convinced otherwise.

@RalfJung
Copy link
Member

Ah I see, makes sense. Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Oct 19, 2022

📌 Commit 0969163 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 19, 2022

⌛ Testing commit 0969163 with merge 13573e8...

@bors
Copy link
Contributor

bors commented Oct 19, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 13573e8 to master...

@bors bors merged commit 13573e8 into rust-lang:master Oct 19, 2022
@saethlin saethlin deleted the ice branch January 15, 2023 22:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Miri run fails with ICE since nightly-2022-10-07-x86_64-unknown-linux-gnu
3 participants