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 5e9cd1f commit 759785b
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 759785b

Please sign in to comment.