diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-18 13:36:11 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-18 13:36:11 +0200 |
| commit | 0708b289b72fc3328c0244be6c1b267bba18fabd (patch) | |
| tree | ed03ec1cd7929d3c42bc9885b2bc1e928ff662ab | |
| parent | c74ffd88cb0fc13b1399eb4b75abc8b386386e5a (diff) | |
| download | rust-0708b289b72fc3328c0244be6c1b267bba18fabd.tar.gz rust-0708b289b72fc3328c0244be6c1b267bba18fabd.zip | |
fix build with bootstrap compiler
| -rw-r--r-- | src/tools/miri/src/eval.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs index 0850a8f24d9..bb623c66892 100644 --- a/src/tools/miri/src/eval.rs +++ b/src/tools/miri/src/eval.rs @@ -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). |
