Improve miri's error reporting in check_in_alloc

diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs
index 3c7cded5ba604ae69d1bd0207c8110581e4d2421..cc8bed770c460680a18ac47b4940ef85aecffc32 100644 (file)
--- a/src/librustc_mir/interpret/memory.rs
+++ b/src/librustc_mir/interpret/memory.rs
@@ -448,7 +448,7 @@ pub fn get_size_and_align(
                         "allocation missing in dead_alloc_map"
                     ))
                 },
-                _ => err!(DanglingPointerDeref),
+                InboundsCheck::Live => err!(DanglingPointerDeref),
             },
         }
     }