[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