diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-12-07 05:05:09 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-12-07 05:05:09 +0000 |
| commit | 8f05e4c4cedd1f7db7d4615fcdfc56c16be2a07e (patch) | |
| tree | 94ca6a62c8b2c4f759dff51c1ec04bdfba8c1bad /src/tools/miri/tests/native-lib | |
| parent | 97633d8e607f10c7558e07351bc32d7893f3e675 (diff) | |
| download | rust-8f05e4c4cedd1f7db7d4615fcdfc56c16be2a07e.tar.gz rust-8f05e4c4cedd1f7db7d4615fcdfc56c16be2a07e.zip | |
fmt
Diffstat (limited to 'src/tools/miri/tests/native-lib')
| -rw-r--r-- | src/tools/miri/tests/native-lib/pass/ptr_write_access.rs | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/tools/miri/tests/native-lib/pass/ptr_write_access.rs b/src/tools/miri/tests/native-lib/pass/ptr_write_access.rs index 4045ef3cee5..a92e63a4da6 100644 --- a/src/tools/miri/tests/native-lib/pass/ptr_write_access.rs +++ b/src/tools/miri/tests/native-lib/pass/ptr_write_access.rs @@ -3,7 +3,6 @@ //@only-on-host //@compile-flags: -Zmiri-permissive-provenance - #![feature(box_as_ptr)] use std::mem::MaybeUninit; @@ -60,7 +59,7 @@ fn test_init_array() { const LEN: usize = 3; let mut array = MaybeUninit::<[i32; LEN]>::uninit(); let val = 31; - + let array = unsafe { init_array(array.as_mut_ptr().cast::<i32>(), LEN, val); array.assume_init() @@ -72,7 +71,7 @@ fn test_init_array() { fn test_init_static_inner() { #[repr(C)] struct SyncPtr { - ptr: *mut i32 + ptr: *mut i32, } unsafe impl Sync for SyncPtr {} @@ -183,17 +182,12 @@ fn test_swap_ptr_triple_dangling() { let ptr = Box::as_ptr(&b); drop(b); let z = 121; - let triple = Triple { - ptr0: &raw const x, - ptr1: ptr, - ptr2: &raw const z - }; + let triple = Triple { ptr0: &raw const x, ptr1: ptr, ptr2: &raw const z }; unsafe { swap_ptr_triple_dangling(&triple) } assert_eq!(unsafe { *triple.ptr2 }, x); } - /// Test function that directly returns its pointer argument. fn test_return_ptr() { extern "C" { |
