[clang] [LifetimeSafety] Overhaul CFG and analysis to also work with trivially destructed temporary objects (PR #177985)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 10 10:55:19 PST 2026


================
@@ -484,9 +474,9 @@ void FactsGenerator::handleTemporaryDtor(
       const MaterializeTemporaryExpr *Path = AP.getAsMaterializeTemporaryExpr();
       if (!Path)
         continue;
-      if (ExpiringBTE == getChildBinding(Path)) {
-        CurrentBlockFacts.push_back(FactMgr.createFact<ExpireFact>(
-            PL->getID(), TemporaryDtor.getBindTemporaryExpr()->getEndLoc()));
+      if (is_contained(CollectedMTEs, Path)) {
----------------
usx95 wrote:

Could you please fully qualify this: `llvm::is_contained`

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


More information about the cfe-commits mailing list