[clang] [LifetimeSafety] Run analysis in post-order of CallGraph for better annotation propagation (PR #174178)
Kashika Akhouri via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 7 00:01:34 PST 2026
================
@@ -2969,6 +3009,46 @@ void clang::sema::AnalysisBasedWarnings::IssueWarnings(
CallableVisitor(CallAnalyzers, TU->getOwningModule())
.TraverseTranslationUnitDecl(TU);
}
+
+ if (S.getLangOpts().EnableLifetimeSafety && S.getLangOpts().CPlusPlus &&
+ S.getLangOpts().EnableLifetimeSafetyInferencePostOrder) {
+ llvm::SmallVector<const FunctionDecl *, 64> AllFunctions;
+ auto AddFunctionToList = [&](const Decl *D) -> void {
+ if (const auto *FD = dyn_cast<FunctionDecl>(D))
+ if (FD->doesThisDeclarationHaveABody() &&
+ !S.getSourceManager().isInSystemHeader(FD->getLocation()))
+ AllFunctions.push_back(FD);
+ };
+ CallableVisitor(AddFunctionToList, TU->getOwningModule())
+ .TraverseTranslationUnitDecl(TU);
+
+ if (AllFunctions.empty())
+ return;
+
+ clang::CallGraph CG;
----------------
kashika0112 wrote:
Removed the qualifiers
https://github.com/llvm/llvm-project/pull/174178
More information about the cfe-commits
mailing list