diff options
| author | Andy Wang <cbeuw.andy@gmail.com> | 2023-06-27 14:41:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-27 14:41:30 +0200 |
| commit | c91fb780a4705fa4192a9a54e8123acb2bf2b381 (patch) | |
| tree | fc8289cb338fa3a85b29788fdd29c72ef4c234fb | |
| parent | b56777352c49329d60f5eec1be0979271f642bc8 (diff) | |
| download | rust-c91fb780a4705fa4192a9a54e8123acb2bf2b381.tar.gz rust-c91fb780a4705fa4192a9a54e8123acb2bf2b381.zip | |
Add trophy
Appears to have been missed
| -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 79b0daf9e82..8d23da53bc7 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -575,6 +575,7 @@ Definite bugs found: * [`crossbeam-epoch` calling `assume_init` on a partly-initialized `MaybeUninit`](https://github.com/crossbeam-rs/crossbeam/pull/779) * [`integer-encoding` dereferencing a misaligned pointer](https://github.com/dermesser/integer-encoding-rs/pull/23) * [`rkyv` constructing a `Box<[u8]>` from an overaligned allocation](https://github.com/rkyv/rkyv/commit/a9417193a34757e12e24263178be8b2eebb72456) +* [Data race in `arc-swap`](https://github.com/vorner/arc-swap/issues/76) * [Data race in `thread::scope`](https://github.com/rust-lang/rust/issues/98498) * [`regex` incorrectly handling unaligned `Vec<u8>` buffers](https://www.reddit.com/r/rust/comments/vq3mmu/comment/ienc7t0?context=3) * [Incorrect use of `compare_exchange_weak` in `once_cell`](https://github.com/matklad/once_cell/issues/186) |
