diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-14 05:02:48 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-14 05:02:48 +0000 |
| commit | 4cd673b4c6b6c633ea768b7d5ff1dbfead53c153 (patch) | |
| tree | eec550e91293d7ce0f751cfad6e41493186a515c | |
| parent | 06ca3abc5ab06894fd2e15f78140eacccca3a5e9 (diff) | |
| download | rust-4cd673b4c6b6c633ea768b7d5ff1dbfead53c153.tar.gz rust-4cd673b4c6b6c633ea768b7d5ff1dbfead53c153.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/concurrency/data_race.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/tools/miri/src/concurrency/data_race.rs b/src/tools/miri/src/concurrency/data_race.rs index 4a1c3ac868e..127d97bd5af 100644 --- a/src/tools/miri/src/concurrency/data_race.rs +++ b/src/tools/miri/src/concurrency/data_race.rs @@ -1074,7 +1074,12 @@ impl VClockAlloc { size: Size, machine: &mut MiriMachine<'_, '_>, ) -> InterpResult<'tcx> { - self.unique_access(alloc_id, alloc_range(Size::ZERO, size), NaWriteType::Deallocate, machine) + self.unique_access( + alloc_id, + alloc_range(Size::ZERO, size), + NaWriteType::Deallocate, + machine, + ) } } |