Skip to content

Commit 964e095

Browse files
author
The Miri Cronjob Bot
committed
Merge from rustc
2 parents 56f2df9 + fb4fb64 commit 964e095

File tree

7 files changed

+6
-133
lines changed

7 files changed

+6
-133
lines changed

Cargo.toml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,6 @@ stack-cache-consistency-check = ["stack-cache"]
7070

7171
[lints.rust.unexpected_cfgs]
7272
level = "warn"
73-
check-cfg = ['cfg(bootstrap)']
7473

7574
# Be aware that this file is inside a workspace when used via the
7675
# submodule in the rustc repo. That means there are many cargo features

cargo-miri/src/phases.rs

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -176,11 +176,6 @@ pub fn phase_cargo_miri(mut args: impl Iterator<Item = String>) {
176176
// Set `--target-dir` to `miri` inside the original target directory.
177177
let target_dir = get_target_dir(&metadata);
178178
cmd.arg("--target-dir").arg(target_dir);
179-
// Only when running in x.py (where we are running with beta cargo): set `RUSTC_STAGE`.
180-
// Will have to be removed on next bootstrap bump. tag: cfg(bootstrap).
181-
if env::var_os("RUSTC_STAGE").is_some() {
182-
cmd.arg("-Zdoctest-xcompile");
183-
}
184179

185180
// *After* we set all the flags that need setting, forward everything else. Make sure to skip
186181
// `--target-dir` (which would otherwise be set twice).

src/bin/miri.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,7 @@ fn entry_fn(tcx: TyCtxt<'_>) -> (DefId, MiriEntryFnType) {
8585
return (def_id, MiriEntryFnType::Rustc(entry_type));
8686
}
8787
// Look for a symbol in the local crate named `miri_start`, and treat that as the entry point.
88-
let sym = tcx.exported_symbols(LOCAL_CRATE).iter().find_map(|(sym, _)| {
88+
let sym = tcx.exported_non_generic_symbols(LOCAL_CRATE).iter().find_map(|(sym, _)| {
8989
if sym.symbol_name_for_local_instance(tcx).name == "miri_start" { Some(sym) } else { None }
9090
});
9191
if let Some(ExportedSymbol::NonGeneric(id)) = sym {
@@ -250,10 +250,10 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls {
250250
// Queries overridden here affect the data stored in `rmeta` files of dependencies,
251251
// which will be used later in non-`MIRI_BE_RUSTC` mode.
252252
config.override_queries = Some(|_, local_providers| {
253-
// `exported_symbols` and `reachable_non_generics` provided by rustc always returns
253+
// `exported_non_generic_symbols` and `reachable_non_generics` provided by rustc always returns
254254
// an empty result if `tcx.sess.opts.output_types.should_codegen()` is false.
255255
// In addition we need to add #[used] symbols to exported_symbols for `lookup_link_section`.
256-
local_providers.exported_symbols = |tcx, LocalCrate| {
256+
local_providers.exported_non_generic_symbols = |tcx, LocalCrate| {
257257
let reachable_set = tcx.with_stable_hashing_context(|hcx| {
258258
tcx.reachable_set(()).to_sorted(&hcx, true)
259259
});

src/concurrency/mod.rs

Lines changed: 1 addition & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -8,19 +8,8 @@ pub mod thread;
88
mod vector_clock;
99
pub mod weak_memory;
1010

11-
// cfg(bootstrap)
12-
macro_rules! cfg_select_dispatch {
13-
($($tokens:tt)*) => {
14-
#[cfg(bootstrap)]
15-
cfg_match! { $($tokens)* }
16-
17-
#[cfg(not(bootstrap))]
18-
cfg_select! { $($tokens)* }
19-
};
20-
}
21-
2211
// Import either the real genmc adapter or a dummy module.
23-
cfg_select_dispatch! {
12+
cfg_select! {
2413
feature = "genmc" => {
2514
mod genmc;
2615
pub use self::genmc::{GenmcCtx, GenmcConfig};

src/helpers.rs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,7 @@ pub fn iter_exported_symbols<'tcx>(
162162

163163
// We can ignore `_export_info` here: we are a Rust crate, and everything is exported
164164
// from a Rust crate.
165-
for &(symbol, _export_info) in tcx.exported_symbols(cnum) {
165+
for &(symbol, _export_info) in tcx.exported_non_generic_symbols(cnum) {
166166
if let ExportedSymbol::NonGeneric(def_id) = symbol {
167167
f(cnum, def_id)?;
168168
}
@@ -595,10 +595,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
595595
} else if matches!(v.layout.fields, FieldsShape::Union(..)) {
596596
// A (non-frozen) union. We fall back to whatever the type says.
597597
(self.unsafe_cell_action)(v)
598-
} else if matches!(v.layout.ty.kind(), ty::Dynamic(_, _, ty::DynStar)) {
599-
// This needs to read the vtable pointer to proceed type-driven, but we don't
600-
// want to reentrantly read from memory here.
601-
(self.unsafe_cell_action)(v)
602598
} else {
603599
// We want to not actually read from memory for this visit. So, before
604600
// walking this value, we have to make sure it is not a

src/lib.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
1-
#![cfg_attr(bootstrap, feature(cfg_match))]
2-
#![cfg_attr(not(bootstrap), feature(cfg_select))]
1+
#![feature(cfg_select)]
32
#![feature(rustc_private)]
43
#![feature(float_gamma)]
54
#![feature(float_erf)]
@@ -10,14 +9,12 @@
109
#![feature(variant_count)]
1110
#![feature(yeet_expr)]
1211
#![feature(nonzero_ops)]
13-
#![cfg_attr(bootstrap, feature(nonnull_provenance))]
1412
#![feature(strict_overflow_ops)]
1513
#![feature(pointer_is_aligned_to)]
1614
#![feature(ptr_metadata)]
1715
#![feature(unqualified_local_imports)]
1816
#![feature(derive_coerce_pointee)]
1917
#![feature(arbitrary_self_types)]
20-
#![cfg_attr(bootstrap, feature(file_lock))]
2118
// Configure clippy and other lints
2219
#![allow(
2320
clippy::collapsible_else_if,

tests/pass/dyn-star.rs

Lines changed: 0 additions & 103 deletions
This file was deleted.

0 commit comments

Comments
 (0)