diff --git a/rust-version b/rust-version index 60ef1e36f7..07e965d7c3 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -b35ebac96102cd12406d9d87827b0838d129c278 +96d07e0ac9f0c56b95a2561c6cedac0b23a5d2a3 diff --git a/src/bin/miri.rs b/src/bin/miri.rs index 6e4bf4a6c2..dd56f0a6e5 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -211,7 +211,8 @@ fn main() { seed, args: miri_args, }; - let result = rustc_driver::report_ices_to_stderr_if_any(move || { + rustc_driver::install_ice_hook(); + let result = rustc_driver::catch_fatal_errors(move || { rustc_driver::run_compiler(&rustc_args, &mut MiriCompilerCalls { miri_config }, None, None) }).and_then(|result| result); std::process::exit(result.is_err() as i32);