diff options
| author | LooMaclin <loo.maclin@protonmail.com> | 2019-04-09 01:11:02 +0300 |
|---|---|---|
| committer | LooMaclin <loo.maclin@protonmail.com> | 2019-04-09 01:11:02 +0300 |
| commit | 32ba4bda7aa1b8e66714090d5a8e7253c83f8161 (patch) | |
| tree | 66248996dd7caddfe434a133af5d767d6b94e6c1 | |
| parent | 11464e714a670c6304cd00d20c0e31cc66290866 (diff) | |
| download | rust-32ba4bda7aa1b8e66714090d5a8e7253c83f8161.tar.gz rust-32ba4bda7aa1b8e66714090d5a8e7253c83f8161.zip | |
Improve miri's error reporting in check_in_alloc
| -rw-r--r-- | src/librustc_mir/interpret/memory.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs index 3c7cded5ba6..cc8bed770c4 100644 --- a/src/librustc_mir/interpret/memory.rs +++ b/src/librustc_mir/interpret/memory.rs @@ -448,7 +448,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> Memory<'a, 'mir, 'tcx, M> { "allocation missing in dead_alloc_map" )) }, - _ => err!(DanglingPointerDeref), + InboundsCheck::Live => err!(DanglingPointerDeref), }, } } |