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 3411625 commit 7addae0
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 7addae0

Please sign in to comment.