diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-06-25 00:55:09 -0400 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2023-08-11 17:21:22 -0400 |
| commit | 1852bb8d620e6a67da5703f5e4500a17c511e200 (patch) | |
| tree | 3426e082844c46f0a29c25a09a8f7c121f591970 /src/tools/miri/tests/fail/shims | |
| parent | 8ce365ff79fe323ca5ea269ea261363efc82ce2d (diff) | |
| download | rust-1852bb8d620e6a67da5703f5e4500a17c511e200.tar.gz rust-1852bb8d620e6a67da5703f5e4500a17c511e200.zip | |
Include spans in use-after-free diagnostics
Diffstat (limited to 'src/tools/miri/tests/fail/shims')
| -rw-r--r-- | src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr b/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr index 8b9969da8fd..44e122330bc 100644 --- a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr +++ b/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr @@ -21,7 +21,24 @@ LL | let _x = *(ptr as *mut u8); | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - = note: BACKTRACE: +help: ALLOC was allocated here: + --> $DIR/mmap_use_after_munmap.rs:LL:CC + | +LL | let ptr = libc::mmap( + | ___________________^ +LL | | std::ptr::null_mut(), +LL | | 4096, +LL | | libc::PROT_READ | libc::PROT_WRITE, +... | +LL | | 0, +LL | | ); + | |_________^ +help: ALLOC was deallocated here: + --> $DIR/mmap_use_after_munmap.rs:LL:CC + | +LL | libc::munmap(ptr, 4096); + | ^^^^^^^^^^^^^^^^^^^^^^^ + = note: BACKTRACE (of the first span): = note: inside `main` at $DIR/mmap_use_after_munmap.rs:LL:CC note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace |