File tree 1 file changed +2
-10
lines changed
src/tools/miri/tests/fail/unaligned_pointers
1 file changed +2
-10
lines changed Original file line number Diff line number Diff line change @@ -17,11 +17,7 @@ fn main() {
17
17
let _val = unsafe { buffer. read ( ) } ;
18
18
19
19
// Let's find a place to promise alignment 8.
20
- let align8 = if buffer. addr ( ) % 8 == 0 {
21
- buffer
22
- } else {
23
- buffer. wrapping_add ( 1 )
24
- } ;
20
+ let align8 = if buffer. addr ( ) % 8 == 0 { buffer } else { buffer. wrapping_add ( 1 ) } ;
25
21
assert ! ( align8. addr( ) % 8 == 0 ) ;
26
22
unsafe { utils:: miri_promise_symbolic_alignment ( align8. cast ( ) , 8 ) } ;
27
23
// Promising the alignment down to 1 *again* still must not hurt.
@@ -41,11 +37,7 @@ fn main() {
41
37
#[ derive( Copy , Clone ) ]
42
38
struct Align16 ( u128 ) ;
43
39
44
- let align16 = if align8. addr ( ) % 16 == 0 {
45
- align8
46
- } else {
47
- align8. wrapping_add ( 2 )
48
- } ;
40
+ let align16 = if align8. addr ( ) % 16 == 0 { align8 } else { align8. wrapping_add ( 2 ) } ;
49
41
assert ! ( align16. addr( ) % 16 == 0 ) ;
50
42
51
43
let _val = unsafe { align8. cast :: < Align16 > ( ) . read ( ) } ;
You can’t perform that action at this time.
0 commit comments