Stop register_def of target of extern_spec_fn

Author: coord-e

src/analyze/crate_.rs

@@ -60,11 +60,22 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
     }
 
     fn refine_local_defs(&mut self) {
+        let mut keys = self.tcx.mir_keys(()).clone();
         for local_def_id in self.tcx.mir_keys(()) {
-            if self.tcx.def_kind(*local_def_id).is_fn_like() {
-                self.refine_fn_def(*local_def_id);
+            let analyzer = self.ctx.local_def_analyzer(*local_def_id);
+            if analyzer.is_annotated_as_extern_spec_fn() {
+                if let Some(target_def_id) = analyzer.extern_spec_fn_target_def_id().as_local() {
+                    self.skip_analysis.insert(local_target_def_id);
+                    keys.swap_remove(&target_def_id);
+                }
+            }
+            if !self.tcx.def_kind(*local_def_id).is_fn_like() {
+                keys.swap_remove(local_def_id);
             }
         }
+        for local_def_id in &keys {
+            self.refine_fn_def(*local_def_id);
+        }
     }
 
     #[tracing::instrument(skip(self), fields(def_id = %self.tcx.def_path_str(local_def_id)))]