Renamed non_unique to alias, which is the terminology Rust uses for this more often and is more succinct.

Author: kkysen

pdg/src/info.rs

@@ -18,7 +18,7 @@ pub struct NodeInfo {
     flows_to_load: Option<NodeId>,
     flows_to_pos_offset: Option<NodeId>,
     flows_to_neg_offset: Option<NodeId>,
-    non_unique: Option<NodeId>,
+    aliases: Option<NodeId>,
 }
 
 impl Display for NodeInfo {
@@ -28,7 +28,7 @@ impl Display for NodeInfo {
             ("load", self.flows_to_load),
             ("+offset", self.flows_to_neg_offset),
             ("-offset", self.flows_to_neg_offset),
-            ("non unique by", self.non_unique),
+            ("alias", self.aliases),
         ]
         .into_iter()
         .filter_map(|(name, node)| Some((name, node?)))
@@ -174,7 +174,7 @@ pub fn augment_with_info(pdg: &mut Graphs) {
         let mut idx_flow_to_load = HashMap::new();
         let mut idx_flow_to_pos_offset = HashMap::new();
         let mut idx_flow_to_neg_offset = HashMap::new();
-        let mut idx_non_unique = HashMap::new();
+        let mut idx_aliases = HashMap::new();
         for (idx, _) in g.nodes.iter_enumerated() {
             if let Some(descmutidx) = check_flows_to_node_kind(g, &idx, node_does_mutation) {
                 idx_flow_to_store.insert(idx, descmutidx);
@@ -189,7 +189,7 @@ pub fn augment_with_info(pdg: &mut Graphs) {
                 idx_flow_to_neg_offset.insert(idx, descnegoidx);
             }
             if let Some(non_unique_idx) = check_whether_rules_obeyed(g, &idx) {
-                idx_non_unique.insert(idx, non_unique_idx);
+                idx_aliases.insert(idx, non_unique_idx);
             }
         }
         for (idx, node) in g.nodes.iter_enumerated_mut() {
@@ -198,7 +198,7 @@ pub fn augment_with_info(pdg: &mut Graphs) {
                 flows_to_load: idx_flow_to_load.remove(&idx),
                 flows_to_pos_offset: idx_flow_to_pos_offset.remove(&idx),
                 flows_to_neg_offset: idx_flow_to_pos_offset.remove(&idx),
-                non_unique: idx_non_unique.remove(&idx),
+                aliases: idx_aliases.remove(&idx),
             })
         }
     }