Add `-Zmiri-disable-abi-check`

[rust.git] / src / bin / miri.rs

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 47cde5c353e133ba708cdc447b1dd0b8b8872bd4..e921407f63fb4a879cbcc8a48f48812007d689b3 100644 (file)
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -227,6 +227,9 @@ fn main() {
                 "-Zmiri-symbolic-alignment-check" => {
                     miri_config.check_alignment = miri::AlignmentCheck::Symbolic;
                 }
+                "-Zmiri-disable-abi-check" => {
+                    miri_config.check_abi = false;
+                }
                 "-Zmiri-disable-isolation" => {
                     miri_config.communicate = true;
                 }