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

-Zmiri-track-raw-pointers doc correction: it is not strictly more restrictive than Stacked Borrows.

Browse Source 
This change is based on the following comment:
https://github.com/rust-lang/miri/pull/1748#issuecomment-803279473
This commit is contained in:
Johnathan Van Why 2021-03-22 15:35:18 -07:00
parent 263be25484
commit 03be4138ed
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -254,8 +254,9 @@ environment variable:
help identify latent aliasing issues in code that Miri accepts by default. You
can recognize false positives by `<untagged>` occurring in the message -- this
indicates a pointer that was cast from an integer, so Miri was unable to track
this pointer. It does not have false negatives; code that works with
`-Zmiri-track-raw-pointers` will work without `-Zmiri-track-raw-pointers`.
this pointer. Note that it is not currently guaranteed that code that works
with `-Zmiri-track-raw-pointers` also works without
`-Zmiri-track-raw-pointers`.
Some native rustc `-Z` flags are also very relevant for Miri: