From 75297d3536df77155b7413a9b7f453ed5dc01bb6 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 13 Apr 2020 09:18:11 +0200 Subject: [PATCH] for alignment errors, note that there might be false positives --- src/diagnostics.rs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/diagnostics.rs b/src/diagnostics.rs index 90e532321e..c387eed5c4 100644 --- a/src/diagnostics.rs +++ b/src/diagnostics.rs @@ -93,6 +93,11 @@ pub fn report_error<'tcx, 'mir>( vec![format!("make sure to use a Miri sysroot, which you can prepare with `cargo miri setup`")], 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 { .. }) => + vec![ + format!("this usually indicates that your program performed an invalid operation and caused Undefined Behavior"), + format!("but alignment errors can also be false positives, see https://github.com/rust-lang/miri/issues/1074"), + ], UndefinedBehavior(_) => vec![ format!("this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior"),