diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-23 14:09:00 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-23 14:10:07 +0200 |
| commit | ed36dde1d293ef0beb302f588317167d6e27533d (patch) | |
| tree | 199b05907c5fca1fb6859be373e76ac1a017e163 /src | |
| parent | 3b5d66313591299bc2eb48230cff52f43694163b (diff) | |
| download | rust-ed36dde1d293ef0beb302f588317167d6e27533d.tar.gz rust-ed36dde1d293ef0beb302f588317167d6e27533d.zip | |
add Windows TLS bug to trophy case
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/README.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 26f43cd492e..ef01ca25fb0 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -564,7 +564,8 @@ used according to their aliasing restrictions. ## Bugs found by Miri -Miri has already found a number of bugs in the Rust standard library and beyond, which we collect here. +Miri has already found a number of bugs in the Rust standard library and beyond, some of which we collect here. +If Miri helped you find a subtle UB bug in your code, we'd appreciate a PR adding it to the list! Definite bugs found: @@ -599,6 +600,7 @@ Definite bugs found: * [Deallocating with the wrong layout in new specializations for in-place `Iterator::collect`](https://github.com/rust-lang/rust/pull/118460) * [Incorrect offset computation for highly-aligned types in `portable-atomic-util`](https://github.com/taiki-e/portable-atomic/pull/138) * [Occasional memory leak in `std::mpsc` channels](https://github.com/rust-lang/rust/issues/121582) (original code in [crossbeam](https://github.com/crossbeam-rs/crossbeam/pull/1084)) +* [Weak-memory-induced memory leak in Windows thread-local storage](https://github.com/rust-lang/rust/pull/124281) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |