diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-19 21:26:38 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-10-19 21:26:38 +0200 |
| commit | b01c4801810a7abe99d6f04fd412a651512f9b6e (patch) | |
| tree | 45aa2aa7f3d5d769b8a0c658542e71bd94f49ddf | |
| parent | d5d8a515ce5ee4eb1acc8eca8731a201a38c6381 (diff) | |
| download | rust-b01c4801810a7abe99d6f04fd412a651512f9b6e.tar.gz rust-b01c4801810a7abe99d6f04fd412a651512f9b6e.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/intptrcast.rs | 5 |
1 files changed, 1 insertions, 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 |