[clang] [analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd (PR #205951)
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 30 03:45:03 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);
----------------
Xazax-hun wrote:
I wonder if this dump functionality should be moved to the modeling checker instead.
https://github.com/llvm/llvm-project/pull/205951
More information about the cfe-commits
mailing list