[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