diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-12-04 05:03:55 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-12-04 05:03:55 +0000 |
| commit | 2c545ed69e2220e8d3daff2907730bd0a98e4abc (patch) | |
| tree | 5689a83b813f7dbebe5b0cbf5eb1fa2bd5aa7355 | |
| parent | bcc059500ccd770d9da3e6999780c5fab6d6cb9c (diff) | |
| download | rust-2c545ed69e2220e8d3daff2907730bd0a98e4abc.tar.gz rust-2c545ed69e2220e8d3daff2907730bd0a98e4abc.zip | |
fmt
| -rw-r--r-- | src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs b/src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs index d2d49c604af..82753fe803c 100644 --- a/src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs +++ b/src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs @@ -17,11 +17,7 @@ fn main() { let _val = unsafe { buffer.read() }; // Let's find a place to promise alignment 8. - let align8 = if buffer.addr() % 8 == 0 { - buffer - } else { - buffer.wrapping_add(1) - }; + let align8 = if buffer.addr() % 8 == 0 { buffer } else { buffer.wrapping_add(1) }; assert!(align8.addr() % 8 == 0); unsafe { utils::miri_promise_symbolic_alignment(align8.cast(), 8) }; // Promising the alignment down to 1 *again* still must not hurt. @@ -41,11 +37,7 @@ fn main() { #[derive(Copy, Clone)] struct Align16(u128); - let align16 = if align8.addr() % 16 == 0 { - align8 - } else { - align8.wrapping_add(2) - }; + let align16 = if align8.addr() % 16 == 0 { align8 } else { align8.wrapping_add(2) }; assert!(align16.addr() % 16 == 0); let _val = unsafe { align8.cast::<Align16>().read() }; |
