Skip to content

Commit

Permalink
Stop miri if delayed bugs are present.
Browse files Browse the repository at this point in the history
Seems wise, since it shouldn't proceed in that case.
  • Loading branch information
nnethercote committed Feb 27, 2024
1 parent a180ae4 commit 21ce4d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri/src/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
queries: &'tcx rustc_interface::Queries<'tcx>,
) -> Compilation {
queries.global_ctxt().unwrap().enter(|tcx| {
if tcx.sess.dcx().has_errors().is_some() {
if tcx.sess.dcx().has_errors_or_delayed_bugs().is_some() {
tcx.dcx().fatal("miri cannot be run on programs that fail compilation");
}

Expand Down

0 comments on commit 21ce4d1

Please sign in to comment.