================
@@ -55,6 +61,16 @@ std::vector<const MemRegion *>
lifetime_modeling::getDanglingRegionsAfterReturn(
return Regions;
}
+bool lifetime_modeling::isDeallocated(ProgramStateRef State,
+ const MemRegion *Region) {
+ return State->contains<DeallocatedSourceSet>(Region);
+}
+
+bool lifetime_modeling::isBoundToLifetimeSourceSet(ProgramStateRef State,
----------------
Xazax-hun wrote:
This function is now dead, maybe it should be removed in this PR.
https://github.com/llvm/llvm-project/pull/209278
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
