diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 4ae901be9b4..d64de4b1976 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -432,7 +432,8 @@ to Miri failing to detect cases of undefined behavior in a program. * `-Zmiri-track-weak-memory-loads` shows a backtrace when weak memory emulation returns an outdated value from a load. This can help diagnose problems that disappear under `-Zmiri-disable-weak-memory-emulation`. -* `-Zmiri-tree-borrows` replaces [Stacked Borrows] with the [Tree Borrows] rules. +* <a name="-Zmiri-tree-borrows"><!-- The playground links here --></a> + `-Zmiri-tree-borrows` replaces [Stacked Borrows] with the [Tree Borrows] rules. Tree Borrows is even more experimental than Stacked Borrows. While Tree Borrows is still sound in the sense of catching all aliasing violations that current versions of the compiler might exploit, it is likely that the eventual final aliasing model |