================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to