From 625b4ed3412b259c3e2aa0c171b65d745de6af8c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 3 Jun 2022 14:48:45 -0400 Subject: [PATCH] fix dangling reference in the README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 824a8d3e328..a55ebcb125b 100644 --- a/README.md +++ b/README.md @@ -296,8 +296,7 @@ environment variable. We first document the most relevant and most commonly used * `-Zmiri-strict-provenance` enables [strict provenance](https://github.com/rust-lang/rust/issues/95228) checking in Miri. This means that casting an integer to a pointer yields a result with 'invalid' provenance, i.e., with provenance - that cannot be used for any memory access. Also implies `-Zmiri-tag-raw-pointers` and - `-Zmiri-check-number-validity`. + that cannot be used for any memory access. Also implies `-Zmiri-tag-raw-pointers`. The remaining flags are for advanced use only, and more likely to change or be removed. Some of these are **unsound**, which means they can lead