[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