Skip to content

Commit a7153b5

Browse files
saethlinRalfJung
authored andcommitted
A bit of cleanup
1 parent 25e8f8e commit a7153b5

File tree

5 files changed

+28
-8
lines changed

5 files changed

+28
-8
lines changed

src/tools/miri/src/concurrency/thread.rs

Lines changed: 20 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,8 @@ impl<'mir, 'tcx> Thread<'mir, 'tcx> {
183183

184184
impl VisitMachineValues for Thread<'_, '_> {
185185
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
186-
let Thread { panic_payload, last_error, stack, .. } = self;
186+
let Thread { panic_payload, last_error, stack, state: _, thread_name: _, join_status: _ } =
187+
self;
187188

188189
if let Some(payload) = panic_payload {
189190
visit(&Operand::Immediate(Immediate::Scalar(*payload)))
@@ -199,7 +200,16 @@ impl VisitMachineValues for Thread<'_, '_> {
199200

200201
impl VisitMachineValues for Frame<'_, '_, Provenance, FrameData<'_>> {
201202
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
202-
let Frame { return_place, locals, extra, .. } = self;
203+
let Frame {
204+
return_place,
205+
locals,
206+
extra,
207+
body: _,
208+
instance: _,
209+
return_to_block: _,
210+
loc: _,
211+
..
212+
} = self;
203213

204214
// Return place.
205215
if let Place::Ptr(mplace) = **return_place {
@@ -290,7 +300,14 @@ impl<'mir, 'tcx> Default for ThreadManager<'mir, 'tcx> {
290300

291301
impl VisitMachineValues for ThreadManager<'_, '_> {
292302
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
293-
let ThreadManager { threads, thread_local_alloc_ids, .. } = self;
303+
let ThreadManager {
304+
threads,
305+
thread_local_alloc_ids,
306+
active_thread: _,
307+
yield_active_thread: _,
308+
sync: _,
309+
timeout_callbacks: _,
310+
} = self;
294311

295312
for thread in threads {
296313
thread.visit_machine_values(visit);

src/tools/miri/src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ impl<'tcx> std::fmt::Debug for FrameData<'tcx> {
6565

6666
impl VisitMachineValues for FrameData<'_> {
6767
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
68-
let FrameData { catch_unwind, .. } = self;
68+
let FrameData { catch_unwind, stacked_borrows: _, timing: _ } = self;
6969

7070
if let Some(catch_unwind) = catch_unwind {
7171
catch_unwind.visit_machine_values(visit);

src/tools/miri/src/shims/panic.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,8 +37,9 @@ pub struct CatchUnwindData<'tcx> {
3737

3838
impl VisitMachineValues for CatchUnwindData<'_> {
3939
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
40-
visit(&Operand::Indirect(MemPlace::from_ptr(self.catch_fn)));
41-
visit(&Operand::Immediate(Immediate::Scalar(self.data)));
40+
let CatchUnwindData { catch_fn, data, dest: _, ret: _ } = self;
41+
visit(&Operand::Indirect(MemPlace::from_ptr(*catch_fn)));
42+
visit(&Operand::Immediate(Immediate::Scalar(*data)));
4243
}
4344
}
4445

src/tools/miri/src/shims/unix/fs.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -464,7 +464,9 @@ impl Default for DirHandler {
464464

465465
impl VisitMachineValues for DirHandler {
466466
fn visit_machine_values(&self, visit: &mut impl FnMut(&Operand<Provenance>)) {
467-
for dir in self.streams.values() {
467+
let DirHandler { streams, next_id: _ } = self;
468+
469+
for dir in streams.values() {
468470
visit(&Operand::Indirect(MemPlace::from_ptr(dir.entry)));
469471
}
470472
}

src/tools/miri/src/stacked_borrows/stack.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ impl Stack {
4646
// For stacks with a known bottom, we never consider removing the bottom-most tag, because
4747
// that is the base tag which exists whether or not there are any pointers to the
4848
// allocation.
49-
let mut read_idx = usize::from(self.unknown_bottom.is_none());
49+
let mut read_idx = if self.unknown_bottom.is_some() { 0 } else { 1 };
5050
let mut write_idx = read_idx;
5151
while read_idx < self.borrows.len() {
5252
let left = self.borrows[read_idx - 1];

0 commit comments

Comments
 (0)