[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