[clang] [SSAF] Let UnsafeBufferUsageExtractor & PointerFlowExtractor ignore templates (PR #198927)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 18 11:54:59 PDT 2026


================
@@ -336,6 +336,12 @@ class PointerFlowTUSummaryExtractor : public TUSummaryExtractor {
 
     findContributors(Ctx, Contributors);
     for (auto *CD : Contributors) {
+      // Templates are skipped, but their instantiations are handled. The idea
+      // is that we can conclude facts about a template through all of its
+      // instantiations.
+      if (CD->isTemplated())
+        continue;
----------------
steakhal wrote:

Got it. Consider this resolved.

https://github.com/llvm/llvm-project/pull/198927


More information about the cfe-commits mailing list