diff options
| author | Ralf Jung <post@ralfj.de> | 2023-12-21 14:39:14 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-12-21 14:47:23 +0100 |
| commit | 006ea0356f812f5ee5c7dac944c031ccc6a2dab0 (patch) | |
| tree | c40bdffc16d6e50df5a0345833e3a112ebcd9ea3 | |
| parent | f36251f689c470aaa81c31710b96fc3e51029852 (diff) | |
| download | rust-006ea0356f812f5ee5c7dac944c031ccc6a2dab0.tar.gz rust-006ea0356f812f5ee5c7dac944c031ccc6a2dab0.zip | |
another trophy
| -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): |