We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
compare_exchange_weak is allowed to spuriously fail. By default, Miri makes most calls fail so this panics when running tests:
compare_exchange_weak
once_cell/src/imp_pl.rs
Line 171 in 2cdfc1e
The text was updated successfully, but these errors were encountered:
Looks like this code simply wants compare_exchange without the "weak", if it does not want to handle spurious failures?
compare_exchange
Sorry, something went wrong.
Nah, that’s just a bug, it should have Err(INCOMPLETE) => (), branch
2be67cc
@RalfJung in case no-one has told you this yet, miri is very cool, thanks!
Successfully merging a pull request may close this issue.
compare_exchange_weak
is allowed to spuriously fail. By default, Miri makes most calls fail so this panics when running tests:once_cell/src/imp_pl.rs
Line 171 in 2cdfc1e
The text was updated successfully, but these errors were encountered: