[clang] [LifetimeSafety] Suggest lifetime annotations (PR #169767)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 28 06:38:56 PST 2025
================
@@ -65,7 +66,31 @@ class LifetimeChecker {
for (const Fact *F : FactMgr.getFacts(B))
if (const auto *EF = F->getAs<ExpireFact>())
checkExpiry(EF);
+ else if (const auto *OEF = F->getAs<OriginEscapesFact>())
+ checkAnnotations(OEF);
issuePendingWarnings();
+ issueAnnotationWarnings();
+ }
+
+ /// Checks if an escaping origin holds a placeholder loan, indicating a
+ /// missing [[clang::lifetimebound]] annotation.
+ void checkAnnotations(const OriginEscapesFact *OEF) {
+ if (!Reporter)
+ return;
----------------
usx95 wrote:
Reporter is not used here. So this should be done while issuing the warnings
https://github.com/llvm/llvm-project/pull/169767
More information about the cfe-commits
mailing list