From ff3b382b14a329e597fa8f714f75c40344522ebb Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 16 Apr 2020 18:35:42 +0200
Subject: [PATCH] ReadBytesAsPointer is always supported

---
 src/diagnostics.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 8c7bb8a47c63..ff52e2385e47 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 { .. }) =>