mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix dangling reference in the README

Browse Source
This commit is contained in:
Ralf Jung 2022-06-03 14:48:45 -04:00
parent 53a2b2f1c3
commit 625b4ed341
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -296,8 +296,7 @@ environment variable. We first document the most relevant and most commonly used
* `-Zmiri-strict-provenance` enables [strict * `-Zmiri-strict-provenance` enables [strict
provenance](https://github.com/rust-lang/rust/issues/95228) checking in Miri. This means that 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 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 that cannot be used for any memory access. Also implies `-Zmiri-tag-raw-pointers`.
`-Zmiri-check-number-validity`.
The remaining flags are for advanced use only, and more likely to change or be removed. 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 Some of these are **unsound**, which means they can lead