From 32ba4bda7aa1b8e66714090d5a8e7253c83f8161 Mon Sep 17 00:00:00 2001
From: LooMaclin <loo.maclin@protonmail.com>
Date: Tue, 9 Apr 2019 01:11:02 +0300
Subject: [PATCH] Improve miri's error reporting in check_in_alloc

---
 src/librustc_mir/interpret/memory.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs
index 3c7cded5ba60..cc8bed770c46 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),
             },
         }
     }