mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustup

Browse Source
This commit is contained in:
bjorn3 2021-10-26 13:42:03 +02:00
parent 084c660c71
commit 9944a2daf3
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rust-version
View File

@ -1 +1 @@
e015ef5b2633960e7653b744d7a1c3d1d336313a c7a30c8b6860d1f3459086f7a91074db1b54bc37

4
src/bin/miri.rs
View File

@ -25,7 +25,7 @@ use rustc_hir::{self as hir, def_id::LOCAL_CRATE, Node};
use rustc_interface::interface::Config; use rustc_interface::interface::Config;
use rustc_middle::{ use rustc_middle::{
middle::exported_symbols::{ExportedSymbol, SymbolExportLevel}, middle::exported_symbols::{ExportedSymbol, SymbolExportLevel},
ty::{query::Providers, TyCtxt}, ty::{query::ExternProviders, TyCtxt},
}; };
use rustc_session::{config::ErrorOutputType, search_paths::PathKind, CtfeBacktrace}; use rustc_session::{config::ErrorOutputType, search_paths::PathKind, CtfeBacktrace};
@ -37,7 +37,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
fn config(&mut self, config: &mut Config) { fn config(&mut self, config: &mut Config) {
config.override_queries = Some(|_, _, external_providers| { config.override_queries = Some(|_, _, external_providers| {
external_providers.used_crate_source = |tcx, cnum| { external_providers.used_crate_source = |tcx, cnum| {
let mut providers = Providers::default(); let mut providers = ExternProviders::default();
rustc_metadata::provide_extern(&mut providers); rustc_metadata::provide_extern(&mut providers);
let mut crate_source = (providers.used_crate_source)(tcx, cnum); let mut crate_source = (providers.used_crate_source)(tcx, cnum);
// HACK: rustc will emit "crate ... required to be available in rlib format, but // HACK: rustc will emit "crate ... required to be available in rlib format, but