Skip to content

Commit

Permalink
fix build with bootstrap compiler
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Aug 18, 2024
1 parent c74ffd8 commit 0708b28
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions src/tools/miri/src/eval.rs
Original file line number Diff line number Diff line change
Expand Up @@ -458,7 +458,14 @@ pub fn eval_entry<'tcx>(
panic::resume_unwind(panic_payload)
});
// `Ok` can never happen.
#[cfg(not(bootstrap))]
let Err(res) = res;
#[cfg(bootstrap)]
let res = match res {
Err(res) => res,
// `Ok` can never happen
Ok(never) => match never {},
};

// Machine cleanup. Only do this if all threads have terminated; threads that are still running
// might cause Stacked Borrows errors (https://github.com/rust-lang/miri/issues/2396).
Expand Down

0 comments on commit 0708b28

Please sign in to comment.