From 0835ac6ec3d071440cc4fa7490a884615dad862d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 21 Oct 2020 12:50:45 +0200 Subject: [PATCH] another TiKV bug for the trophy case :) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index d8f0ef583f11..8c908149998d 100644 --- a/README.md +++ b/README.md @@ -372,6 +372,7 @@ Definite bugs found: * [`servo_arc` creating a dangling shared reference](https://github.com/servo/servo/issues/26357) * [TiKV constructing out-of-bounds pointers (and overlapping mutable references)](https://github.com/tikv/tikv/pull/7751) * [`encoding_rs` doing out-of-bounds pointer arithmetic](https://github.com/hsivonen/encoding_rs/pull/53) +* [TiKV using `Vec::from_raw_parts` incorrectly](https://github.com/tikv/agatedb/pull/24) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):