From: Ralf Jung <post@ralfj.de>
Date: Thu, 16 Apr 2020 16:35:42 +0000 (+0200)
Subject: ReadBytesAsPointer is always supported
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=ff3b382b14a329e597fa8f714f75c40344522ebb;p=rust.git

ReadBytesAsPointer is always supported
---

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 8c7bb8a47c6..ff52e2385e4 100644
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -92,6 +92,8 @@ pub fn report_error<'tcx, 'mir>(
             let helps = match e.kind {
                 Unsupported(UnsupportedOpInfo::NoMirFor(..)) =>
                     vec![format!("make sure to use a Miri sysroot, which you can prepare with `cargo miri setup`")],
+                Unsupported(UnsupportedOpInfo::ReadBytesAsPointer) =>
+                    panic!("`ReadBytesAsPointer` cannot be raised by Miri"),
                 Unsupported(_) =>
                     vec![format!("this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support")],
                 UndefinedBehavior(UndefinedBehaviorInfo::AlignmentCheckFailed { .. }) =>