================
@@ -105,6 +105,45 @@ std::string lifetime_modeling::getRegionName(const
MemRegion *Reg) {
return "the region";
}
+// FIXME: Retrieving the MemRegions of nested struct fields is not yet
+// supported.
+SmallVector<const MemRegion *, 4>
+lifetime_modeling::getRegionsFromAggrVal(SVal Val, CheckerContext &C) {
+ SmallVector<const MemRegion *, 4> Reg;
+
+ if (auto LCV = Val.getAs<nonloc::LazyCompoundVal>()) {
+ const TypedValueRegion *LCVRegion = LCV->getRegion();
+ QualType T = LCVRegion->getValueType();
+ MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
+ StoreManager &StoreMgr = C.getState()->getStateManager().getStoreManager();
+
+ if (const RecordType *RT = T->getAsStructureType()) {
----------------
steakhal wrote:
From the linked commit it not obvious to me how you acted on this point.
https://github.com/llvm/llvm-project/pull/214589
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
