summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib
diff options
context:
space:
mode:
authorThe Miri Cronjob Bot <miri@cron.bot>2024-12-07 05:05:09 +0000
committerThe Miri Cronjob Bot <miri@cron.bot>2024-12-07 05:05:09 +0000
commit8f05e4c4cedd1f7db7d4615fcdfc56c16be2a07e (patch)
tree94ca6a62c8b2c4f759dff51c1ec04bdfba8c1bad /src/tools/miri/tests/native-lib
parent97633d8e607f10c7558e07351bc32d7893f3e675 (diff)
downloadrust-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.rs12
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" {