user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fmt

Browse source
This commit is contained in:
The Miri Conjob Bot 2023-12-04 05:03:55 +00:00
parent bcc059500c
commit 2c545ed69e
1 changed files with 2 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/tools/miri/tests/fail/unaligned_pointers/promise_alignment.rs
View file

@ -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() };