Skip to content

Commit

Permalink
Turn off the alignment check pass, remove the panic test for it
Browse files Browse the repository at this point in the history
The panic test is now counted as an error test; we encounter a Terminate
terminator, and emit an interpreter error, as opposed to just
terminating due to a panic. So this test should have broken with
rust-lang#102906 but wasn't because the Miri
test suite is currently broken in rust-lang/rust:
 rust-lang#110102
  • Loading branch information
saethlin committed Apr 10, 2023
1 parent 6efdf4d commit 73702d5
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 11 deletions.
3 changes: 3 additions & 0 deletions src/tools/miri/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -124,10 +124,13 @@ pub use crate::tag_gc::{EvalContextExt as _, VisitTags};

/// Insert rustc arguments at the beginning of the argument list that Miri wants to be
/// set per default, for maximal validation power.
/// Also disable the MIR pass that inserts an alignment check on every pointer dereference. Miri
/// does that too, and with a better error message.
pub const MIRI_DEFAULT_ARGS: &[&str] = &[
"--cfg=miri",
"-Zalways-encode-mir",
"-Zextra-const-ub-checks",
"-Zmir-emit-retag",
"-Zmir-opt-level=0",
"-Zmir-enable-passes=-CheckAlignment",
];
9 changes: 0 additions & 9 deletions src/tools/miri/tests/panic/alignment-assertion.rs

This file was deleted.

2 changes: 0 additions & 2 deletions src/tools/miri/tests/panic/alignment-assertion.stderr

This file was deleted.

0 comments on commit 73702d5

Please sign in to comment.