fmt

Author: nia-e

src/alloc_addresses/mod.rs

@@ -564,7 +564,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                                     opt_so_far = Some(so_far);
                                 } else {
                                     // When there's a jump, push what we have so far and start anew
-                                    into.push((so_far.start as usize + p)..(so_far.end as usize + p));
+                                    into.push(
+                                        (so_far.start as usize + p)..(so_far.end as usize + p),
+                                    );
                                     opt_so_far = Some(bit..bit + 1);
                                 },
                             // 1st time we obviously need to insert it

src/shims/trace/parent.rs

@@ -275,9 +275,7 @@ pub fn sv_loop(
             // end_ffi was called by the child
             ExecEvent::End => {
                 // Hand over the access info we traced
-                event_tx
-                    .send(MemEvents { acc_events, alloc_cutoff: page_size })
-                    .unwrap();
+                event_tx.send(MemEvents { acc_events, alloc_cutoff: page_size }).unwrap();
                 // And reset our values
                 acc_events = Vec::new();
                 ch_stack = None;
@@ -723,12 +721,7 @@ pub unsafe extern "C" fn mempr_on() {
     let len = PAGE_SIZE.load(Ordering::Relaxed).wrapping_mul(PAGE_COUNT.load(Ordering::Relaxed));
     // SAFETY: Upheld by caller
     unsafe {
-        if libc::mprotect(
-            PAGE_ADDR.load(Ordering::Relaxed).cast(),
-            len,
-            libc::PROT_NONE,
-        ) != 0
-        {
+        if libc::mprotect(PAGE_ADDR.load(Ordering::Relaxed).cast(), len, libc::PROT_NONE) != 0 {
             std::process::exit(-1);
         }
     }