Skip to content

Commit d1b17a3

Browse files
Apply suggestions from code review
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent 2c9f9dd commit d1b17a3

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/machine.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -655,9 +655,8 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'mir, 'tcx> {
655655
ecx: &mut InterpCx<'mir, 'tcx, Self>,
656656
ptr: Pointer<Self::PointerTag>,
657657
) -> InterpResult<'tcx> {
658-
let (tag, _) = ptr.into_parts();
658+
let tag = ptr.provenance;
659659

660-
// We have a concrete pointer, so we don't need to reify it.
661660
if let Tag::Concrete(concrete) = tag {
662661
intptrcast::GlobalStateInner::expose_addr(ecx, concrete.alloc_id);
663662
}

0 commit comments

Comments
 (0)