[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:46 PDT 2026


================
@@ -22,6 +22,11 @@ bool isBoundToLifetimeSource(ProgramStateRef State, SVal Val);
 /// Returns the descriptive name of the memory region or a placeholder if a
 /// descriptive name cannot be constructed for it.
 std::string getRegionName(const MemRegion *Reg);
+
+/// Returns the MemRegions the fields of an aggregate value (CompoundVal,
+/// LazyCompoundVal) point to.
----------------
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