Rollup merge of #128640 - RalfJung:rwlock-macos-miri, r=joboet · patricklam/verify-rust-std@d03bb5e (original) (raw)
Navigation Menu
- GitHub Copilot Write better code with AI
- GitHub Models New Manage and compare prompts
- GitHub Advanced Security Find and fix vulnerabilities
- Actions Automate any workflow
- Codespaces Instant dev environments
- Issues Plan and track work
- Code Review Manage code changes
- Discussions Collaborate outside of code
- Code Search Find more, search less
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Commit d03bb5e
Rollup merge of rust-lang#128640 - RalfJung:rwlock-macos-miri, r=joboet
rwlock: disable 'frob' test in Miri on macOS Due to rust-lang#121950, Miri will sometimes complain about this test on macOS. Better disable the test, as otherwise it can fail for unrelated PRs. r? ``@joboet``
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 4 additions & 0 deletions
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -21,6 +21,10 @@ fn smoke() { | ||
| 21 | 21 | } |
| 22 | 22 | |
| 23 | 23 | #[test] |
| 24 | +// FIXME: On macOS we use a provenance-incorrect implementation and Miri | |
| 25 | +// catches that issue with a chance of around 1/1000. | |
| 26 | +// See https://github.com/rust-lang/rust/issues/121950 for details. | |
| 27 | +#[cfg_attr(all(miri, target_os = "macos"), ignore)] | |
| 24 | 28 | fn frob() { |
| 25 | 29 | const N: u32 = 10; |
| 26 | 30 | const M: usize = if cfg!(miri) { 100 } else { 1000 }; |