Auto merge of #1341 - RalfJung:force-ptr-everywhere, r=oli-obk

ReadBytesAsPointer is always supported

Cc @oli-obk

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 8c7bb8a47c638ae13df3942c8988c215471fbbd7..ff52e2385e476508a59d4093f8af98b4d235bb74 100644 (file)
--- 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 { .. }) =>