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

encountered a NULL reference -> encountered a null reference #1788

Merged
merged 1 commit into from May 4, 2021
Merged

encountered a NULL reference -> encountered a null reference #1788

merged 1 commit into from May 4, 2021

Conversation

ghost
Copy link

@ghost ghost commented May 4, 2021

It's changed from "NULL" to "null" (probably by rust-lang/rust#84842) in rustc, and causing some test failures:
https://github.com/rust-lang/miri/runs/2498333632#step:8:640

Unverified

No user is associated with the committer email.
@RalfJung
Copy link
Member

RalfJung commented May 4, 2021

Thanks. :)
@bors r+

@bors
Copy link
Contributor

bors commented May 4, 2021

📌 Commit 47c5b6e has been approved by RalfJung

@bors
Copy link
Contributor

bors commented May 4, 2021

⌛ Testing commit 47c5b6e with merge 67c04af...

@bors
Copy link
Contributor

bors commented May 4, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 67c04af to master...

@bors bors merged commit 67c04af into rust-lang:master May 4, 2021
@RalfJung
Copy link
Member

RalfJung commented May 4, 2021

@hyd-dev if you could do the rustc submodule update, that would be much appreciated. :) I am very busy this week, so your help with keeping Miri working is very very welcome!

@ghost ghost deleted the rustup branch May 4, 2021 08:57
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.

None yet

2 participants