]> git.lizzy.rs Git - rust.git/commitdiff
cleanup polonius liveness fact generation: fix debug! logs
authorRemy Rakic <remy.rakic@gmail.com>
Mon, 9 Dec 2019 17:58:42 +0000 (18:58 +0100)
committerRemy Rakic <remy.rakic@gmail.com>
Tue, 10 Dec 2019 10:44:44 +0000 (11:44 +0100)
src/librustc_mir/borrow_check/nll/type_check/liveness/polonius.rs

index 5a781d006f7ac4385332d8f2fef49da289842b01..af7a23629e6d9587a57045792556c716d51ca5dd 100644 (file)
@@ -27,22 +27,22 @@ fn location_to_index(&self, location: Location) -> LocationIndex {
     }
 
     fn insert_def(&mut self, local: Local, location: Location) {
-        debug!("LivenessFactsExtractor::insert_def()");
+        debug!("UseFactsExtractor::insert_def()");
         self.var_defined.push((local, self.location_to_index(location)));
     }
 
     fn insert_use(&mut self, local: Local, location: Location) {
-        debug!("LivenessFactsExtractor::insert_use()");
+        debug!("UseFactsExtractor::insert_use()");
         self.var_used.push((local, self.location_to_index(location)));
     }
 
     fn insert_drop_use(&mut self, local: Local, location: Location) {
-        debug!("LivenessFactsExtractor::insert_drop_use()");
+        debug!("UseFactsExtractor::insert_drop_use()");
         self.var_drop_used.push((local, location));
     }
 
     fn insert_path_access(&mut self, path: MovePathIndex, location: Location) {
-        debug!("LivenessFactsExtractor::insert_path_access({:?}, {:?})", path, location);
+        debug!("UseFactsExtractor::insert_path_access({:?}, {:?})", path, location);
         self.path_accessed_at.push((path, self.location_to_index(location)));
     }
 
@@ -90,7 +90,7 @@ pub(super) fn populate_access_facts(
     move_data: &MoveData<'_>,
     drop_used: &mut Vec<(Local, Location)>,
 ) {
-    debug!("populate_var_liveness_facts()");
+    debug!("populate_access_facts()");
 
     if let Some(facts) = typeck.borrowck_context.all_facts.as_mut() {
         let mut extractor = UseFactsExtractor {