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.

Sign up for GitHub

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

Jump to bottom

Show targeted message on read-read races #3142

Closed
RalfJung opened this issue Oct 25, 2023 · 0 comments · Fixed by #3145
Closed

Show targeted message on read-read races #3142

RalfJung opened this issue Oct 25, 2023 · 0 comments · Fixed by #3145

Comments

@RalfJung
Copy link
Member

We now consider atomic reads racing with non-atomic reads to be UB. We should probably print a targeted message for that case since it's rather surprising that this would be disallowed.
@saethlin saethlin mentioned this issue Oct 25, 2023
Closed
@RalfJung RalfJung mentioned this issue Oct 27, 2023
Merged
@bors bors closed this as completed in 4b7b1a4 Nov 4, 2023
RalfJung pushed a commit to RalfJung/rust that referenced this issue Nov 4, 2023
@bors
Auto merge of rust-lang#3145 - RalfJung:data-race-error, r=RalfJung
2ef639d 
give some more help for the unusual data races

Fixes rust-lang/miri#3142
lnicola pushed a commit to lnicola/rust-analyzer that referenced this issue Apr 7, 2024
@bors
Auto merge of rust-lang#3145 - RalfJung:data-race-error, r=RalfJung
4279268 
give some more help for the unusual data races

Fixes rust-lang/miri#3142
RalfJung pushed a commit to RalfJung/rust-analyzer that referenced this issue Apr 27, 2024
@bors
Auto merge of rust-lang#3145 - RalfJung:data-race-error, r=RalfJung
b8fd88e 
give some more help for the unusual data races

Fixes rust-lang/miri#3142
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

give some more help for the unusual data races RalfJung/miri
1 participant
@RalfJung