Skip to content

Commit ff3b382

Browse files
committed
ReadBytesAsPointer is always supported
1 parent d481e08 commit ff3b382

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)