Skip to content

Commit 2d473f6

Browse files
authored
Merge pull request #4525 from rust-lang/rustup-2025-08-13
Automatic Rustup
2 parents 57fd9e4 + 37e9db1 commit 2d473f6

File tree

4 files changed

+15
-15
lines changed

4 files changed

+15
-15
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
4c7749e8c8e50ad146da599eea3a250160c1bc2b
1+
1553adfe6884a8f6c28f5a673d3e605535ee0113

src/bin/miri.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -279,7 +279,7 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls {
279279
return None;
280280
}
281281
let codegen_fn_attrs = tcx.codegen_fn_attrs(local_def_id);
282-
if codegen_fn_attrs.contains_extern_indicator()
282+
if codegen_fn_attrs.contains_extern_indicator(tcx, local_def_id.into())
283283
|| codegen_fn_attrs
284284
.flags
285285
.contains(CodegenFnAttrFlags::USED_COMPILER)

src/borrow_tracker/mod.rs

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ impl GlobalStateInner {
260260
kind: MemoryKind,
261261
machine: &MiriMachine<'_>,
262262
) -> AllocState {
263-
let _span = enter_trace_span!(borrow_tracker::new_allocation, ?id, ?alloc_size, ?kind);
263+
let _trace = enter_trace_span!(borrow_tracker::new_allocation, ?id, ?alloc_size, ?kind);
264264
match self.borrow_tracker_method {
265265
BorrowTrackerMethod::StackedBorrows =>
266266
AllocState::StackedBorrows(Box::new(RefCell::new(Stacks::new_allocation(
@@ -281,7 +281,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
281281
kind: RetagKind,
282282
val: &ImmTy<'tcx>,
283283
) -> InterpResult<'tcx, ImmTy<'tcx>> {
284-
let _span = enter_trace_span!(borrow_tracker::retag_ptr_value, ?kind, ?val.layout);
284+
let _trace = enter_trace_span!(borrow_tracker::retag_ptr_value, ?kind, ?val.layout);
285285
let this = self.eval_context_mut();
286286
let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
287287
match method {
@@ -295,7 +295,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
295295
kind: RetagKind,
296296
place: &PlaceTy<'tcx>,
297297
) -> InterpResult<'tcx> {
298-
let _span = enter_trace_span!(borrow_tracker::retag_place_contents, ?kind, ?place);
298+
let _trace = enter_trace_span!(borrow_tracker::retag_place_contents, ?kind, ?place);
299299
let this = self.eval_context_mut();
300300
let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
301301
match method {
@@ -305,7 +305,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
305305
}
306306

307307
fn protect_place(&mut self, place: &MPlaceTy<'tcx>) -> InterpResult<'tcx, MPlaceTy<'tcx>> {
308-
let _span = enter_trace_span!(borrow_tracker::protect_place, ?place);
308+
let _trace = enter_trace_span!(borrow_tracker::protect_place, ?place);
309309
let this = self.eval_context_mut();
310310
let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
311311
match method {
@@ -315,7 +315,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
315315
}
316316

317317
fn expose_tag(&self, alloc_id: AllocId, tag: BorTag) -> InterpResult<'tcx> {
318-
let _span =
318+
let _trace =
319319
enter_trace_span!(borrow_tracker::expose_tag, alloc_id = alloc_id.0, tag = tag.0);
320320
let this = self.eval_context_ref();
321321
let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
@@ -360,7 +360,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
360360
&self,
361361
frame: &Frame<'tcx, Provenance, FrameExtra<'tcx>>,
362362
) -> InterpResult<'tcx> {
363-
let _span = enter_trace_span!(borrow_tracker::on_stack_pop);
363+
let _trace = enter_trace_span!(borrow_tracker::on_stack_pop);
364364
let this = self.eval_context_ref();
365365
let borrow_tracker = this.machine.borrow_tracker.as_ref().unwrap();
366366
// The body of this loop needs `borrow_tracker` immutably
@@ -438,7 +438,7 @@ impl AllocState {
438438
range: AllocRange,
439439
machine: &MiriMachine<'tcx>,
440440
) -> InterpResult<'tcx> {
441-
let _span = enter_trace_span!(borrow_tracker::before_memory_read, alloc_id = alloc_id.0);
441+
let _trace = enter_trace_span!(borrow_tracker::before_memory_read, alloc_id = alloc_id.0);
442442
match self {
443443
AllocState::StackedBorrows(sb) =>
444444
sb.borrow_mut().before_memory_read(alloc_id, prov_extra, range, machine),
@@ -460,7 +460,7 @@ impl AllocState {
460460
range: AllocRange,
461461
machine: &MiriMachine<'tcx>,
462462
) -> InterpResult<'tcx> {
463-
let _span = enter_trace_span!(borrow_tracker::before_memory_write, alloc_id = alloc_id.0);
463+
let _trace = enter_trace_span!(borrow_tracker::before_memory_write, alloc_id = alloc_id.0);
464464
match self {
465465
AllocState::StackedBorrows(sb) =>
466466
sb.get_mut().before_memory_write(alloc_id, prov_extra, range, machine),
@@ -482,7 +482,7 @@ impl AllocState {
482482
size: Size,
483483
machine: &MiriMachine<'tcx>,
484484
) -> InterpResult<'tcx> {
485-
let _span =
485+
let _trace =
486486
enter_trace_span!(borrow_tracker::before_memory_deallocation, alloc_id = alloc_id.0);
487487
match self {
488488
AllocState::StackedBorrows(sb) =>
@@ -493,7 +493,7 @@ impl AllocState {
493493
}
494494

495495
pub fn remove_unreachable_tags(&self, tags: &FxHashSet<BorTag>) {
496-
let _span = enter_trace_span!(borrow_tracker::remove_unreachable_tags);
496+
let _trace = enter_trace_span!(borrow_tracker::remove_unreachable_tags);
497497
match self {
498498
AllocState::StackedBorrows(sb) => sb.borrow_mut().remove_unreachable_tags(tags),
499499
AllocState::TreeBorrows(tb) => tb.borrow_mut().remove_unreachable_tags(tags),
@@ -508,7 +508,7 @@ impl AllocState {
508508
tag: BorTag,
509509
alloc_id: AllocId, // diagnostics
510510
) -> InterpResult<'tcx> {
511-
let _span = enter_trace_span!(
511+
let _trace = enter_trace_span!(
512512
borrow_tracker::release_protector,
513513
alloc_id = alloc_id.0,
514514
tag = tag.0
@@ -523,7 +523,7 @@ impl AllocState {
523523

524524
impl VisitProvenance for AllocState {
525525
fn visit_provenance(&self, visit: &mut VisitWith<'_>) {
526-
let _span = enter_trace_span!(borrow_tracker::visit_provenance);
526+
let _trace = enter_trace_span!(borrow_tracker::visit_provenance);
527527
match self {
528528
AllocState::StackedBorrows(sb) => sb.visit_provenance(visit),
529529
AllocState::TreeBorrows(tb) => tb.visit_provenance(visit),

src/helpers.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@ pub fn iter_exported_symbols<'tcx>(
132132
for def_id in crate_items.definitions() {
133133
let exported = tcx.def_kind(def_id).has_codegen_attrs() && {
134134
let codegen_attrs = tcx.codegen_fn_attrs(def_id);
135-
codegen_attrs.contains_extern_indicator()
135+
codegen_attrs.contains_extern_indicator(tcx, def_id.into())
136136
|| codegen_attrs.flags.contains(CodegenFnAttrFlags::RUSTC_STD_INTERNAL_SYMBOL)
137137
|| codegen_attrs.flags.contains(CodegenFnAttrFlags::USED_COMPILER)
138138
|| codegen_attrs.flags.contains(CodegenFnAttrFlags::USED_LINKER)

0 commit comments

Comments
 (0)