From b01c4801810a7abe99d6f04fd412a651512f9b6e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 19 Oct 2023 21:26:38 +0200 Subject: [PATCH] fmt --- src/tools/miri/src/intptrcast.rs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/tools/miri/src/intptrcast.rs b/src/tools/miri/src/intptrcast.rs index 154d86375ca..0bdea157633 100644 --- a/src/tools/miri/src/intptrcast.rs +++ b/src/tools/miri/src/intptrcast.rs @@ -226,10 +226,7 @@ impl<'mir, 'tcx> GlobalStateInner { // Add offset with the right kind of pointer-overflowing arithmetic. let dl = ecx.data_layout(); let absolute_addr = dl.overflowing_offset(base_addr, offset.bytes()).0; - Ok(Pointer::new( - Provenance::Concrete { alloc_id, tag }, - Size::from_bytes(absolute_addr), - )) + Ok(Pointer::new(Provenance::Concrete { alloc_id, tag }, Size::from_bytes(absolute_addr))) } /// When a pointer is used for a memory access, this computes where in which allocation the