Print hex dump of alloc on reading undef bytes

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 5189982b1361a14f01235ce129ed62cfa84d45d5..77aaacea02400cc5b25602df1ad4ad7360ac8f9b 100644 (file)
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -114,6 +114,9 @@ pub fn report_error<'tcx, 'mir>(
     };
 
     e.print_backtrace();
+    if let UndefinedBehavior(UndefinedBehaviorInfo::InvalidUndefBytes(Some(ptr))) = e.kind {
+        ecx.memory.dump_alloc(ptr.alloc_id);
+    }
     let msg = e.to_string();
     report_msg(ecx, &format!("{}: {}", title, msg), msg, helps, true)
 }