Skip to content

Commit 9b4af73

Browse files
committed
Auto merge of #1341 - RalfJung:force-ptr-everywhere, r=oli-obk
ReadBytesAsPointer is always supported Cc @oli-obk
2 parents d481e08 + ff3b382 commit 9b4af73

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/diagnostics.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -92,6 +92,8 @@ pub fn report_error<'tcx, 'mir>(
9292
let helps = match e.kind {
9393
Unsupported(UnsupportedOpInfo::NoMirFor(..)) =>
9494
vec![format!("make sure to use a Miri sysroot, which you can prepare with `cargo miri setup`")],
95+
Unsupported(UnsupportedOpInfo::ReadBytesAsPointer) =>
96+
panic!("`ReadBytesAsPointer` cannot be raised by Miri"),
9597
Unsupported(_) =>
9698
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")],
9799
UndefinedBehavior(UndefinedBehaviorInfo::AlignmentCheckFailed { .. }) =>

0 commit comments

Comments
 (0)