[clang] [analyzer] Add aggregate value tracking to the LifetimeModeling checker (PR #214589)

Benedek Kaibas via cfe-commits cfe-commits at lists.llvm.org
Sat Aug 8 05:11:39 PDT 2026


================
@@ -174,6 +219,11 @@ void LifetimeModeling::checkDeadSymbols(SymbolReaper &SymReaper,
         S && SymReaper.isLive(S))
       continue;
 
+    if (llvm::any_of(
+            lifetime_modeling::getRegionsFromAggrVal(Val, C),
+            [&](const MemRegion *R) { return SymReaper.isLiveRegion(R); }))
+      continue;
----------------
benedekaibas wrote:

Applied changes: [62d4f3c](https://github.com/llvm/llvm-project/pull/214823/commits/62d4f3ce17203c28ffff3357483a9b2883325ffb)

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


More information about the cfe-commits mailing list