================
@@ -94,9 +45,10 @@ static bool hasDanglingSource(const MemRegion *Source,
ProgramStateRef State,
void UseAfterLifetimeEnd::checkReturnedBorrower(SVal Val, ProgramStateRef
State,
CheckerContext &C) const {
- if (auto *SourceSet = State->get<LifetimeBoundMap>(Val)) {
+ auto SourceSet = lifetimemodeling::getLifetimeSourceSet(State, Val);
----------------
Xazax-hun wrote:
I think the logic of this function might belong to the modeling checker.
https://github.com/llvm/llvm-project/pull/205951
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
