[clang] [analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd (PR #205951)
Benedek Kaibas via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 6 00:41:05 PDT 2026
================
@@ -222,14 +144,14 @@ void DebugUseAfterLifetimeEnd::analyzerDumpLifetimeOriginsOf(
}
SVal ArgSVal = Call.getArgSVal(0);
- const LifetimeSourceSet *SourceSet = State->get<LifetimeBoundMap>(ArgSVal);
+ auto SourceSet = lifetimemodeling::getLifetimeSourceSet(State, ArgSVal);
----------------
benedekaibas wrote:
Applied changes here: [3441d06](https://github.com/llvm/llvm-project/pull/205951/commits/3441d06db73a08baf37db189ef44311dcceb4735)
https://github.com/llvm/llvm-project/pull/205951
More information about the cfe-commits
mailing list