From 58b6e592a218f28383b40beb7d78b750173ab67d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 4 Jul 2022 16:10:32 -0400 Subject: [PATCH] trophy case++ --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 00d64d8cc70..52934a6cd4b 100644 --- a/README.md +++ b/README.md @@ -582,6 +582,7 @@ Definite bugs found: * [`rkyv` constructing a `Box<[u8]>` from an overaligned allocation](https://github.com/rkyv/rkyv/commit/a9417193a34757e12e24263178be8b2eebb72456) * [Data race in `thread::scope`](https://github.com/rust-lang/rust/issues/98498) * [`regex` incorrectly handling unaligned `Vec` 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) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):