fmt check

Author: hxuhack

rapx/src/analysis/core/alias/mop.rs

@@ -8,7 +8,7 @@ use crate::analysis::utils::intrinsic_id::{
     COPY_FROM, COPY_FROM_NONOVERLAPPING, COPY_TO, COPY_TO_NONOVERLAPPING,
 };
 use crate::utils::source::*;
-use crate::{rap_info, rap_debug, rap_trace};
+use crate::{rap_debug, rap_info, rap_trace};
 use graph::MopGraph;
 use rustc_data_structures::fx::FxHashMap;
 use rustc_data_structures::fx::FxHashSet;

tests/todo/alias_field/src/main.rs

@@ -3,17 +3,16 @@ struct Point {
     y: i32,
 }
 
+//Expected alias analysis result: (1.0, 1.1, 0)
 fn foo(p1: &Point) -> &i32 {
-    if p1.x>0 { 
+    if p1.x > 0 {
         &p1.x
-    }
-    else {
+    } else {
         &p1.y
     }
 }
 
 fn main() {
-    let p = Box::new(Point { x:10, y:20 });
+    let p = Box::new(Point { x: 10, y: 20 });
     let _r = foo(&p);
 }
-

tests/todo/alias_scc/src/main.rs

@@ -3,15 +3,16 @@ enum Selector {
     Second,
 }
 
+//Expected alias analysis result: (1,0)
 fn foo<'a>(x: &'a i32, y: &'a i32, choice: Selector) -> &'a i32 {
     let mut r = x;
     for _i in 0..100 {
         let a = match choice {
-            Selector::First => x, 
+            Selector::First => x,
             Selector::Second => y,
         };
         r = match choice {
-            Selector::First => a, 
+            Selector::First => a,
             Selector::Second => x,
         };
     }
@@ -23,4 +24,3 @@ fn main() {
     let b = Box::new(20);
     let _result = foo(&a, &b, Selector::First);
 }
-

tests/todo/alias_switch/src/main.rs

@@ -3,13 +3,14 @@ enum Selector {
     Second,
 }
 
+//Expected alias analysis result: (1,0)
 fn foo<'a>(x: &'a i32, y: &'a i32, choice: Selector) -> &'a i32 {
     let a = match choice {
-        Selector::First => x, 
+        Selector::First => x,
         Selector::Second => y,
     };
     match choice {
-        Selector::First => a, 
+        Selector::First => a,
         Selector::Second => x,
     }
 }
@@ -19,4 +20,3 @@ fn main() {
     let b = Box::new(20);
     let _result = foo(&a, &b, Selector::First);
 }
-