diff options
| author | bors <bors@rust-lang.org> | 2024-01-25 10:08:36 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-25 10:08:36 +0000 |
| commit | 9f4d1a41a6dccf00caace1e9fd20011d586d8b69 (patch) | |
| tree | c61cb8d2aba144ea5c60a7103853e70ba1548bb0 | |
| parent | 4e8ad10843d264c446755a6bd11659ed72895d6f (diff) | |
| parent | 006ea0356f812f5ee5c7dac944c031ccc6a2dab0 (diff) | |
| download | rust-9f4d1a41a6dccf00caace1e9fd20011d586d8b69.tar.gz rust-9f4d1a41a6dccf00caace1e9fd20011d586d8b69.zip | |
Auto merge of #3233 - RalfJung:trophy, r=RalfJung
Add portable-atomic-util bug to "bugs found" list At least, reading https://notgull.net/cautionary-unsafe-tale/ it seems fair to say Miri found this bug. `@notgull` please let me know if you are okay with having this listed here.
| -rw-r--r-- | src/tools/miri/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 3dee742fa0d..6695f123c78 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -590,6 +590,7 @@ Definite bugs found: * [Incorrect use of `compare_exchange_weak` in `once_cell`](https://github.com/matklad/once_cell/issues/186) * [Dropping with unaligned pointers in `vec::IntoIter`](https://github.com/rust-lang/rust/pull/106084) * [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) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |