[clang] [analyzer] Avoid use of `CallEvent`s with obsolete state (PR #160707)
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 29 09:57:20 PDT 2025
================
@@ -731,33 +731,36 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
ExplodedNodeSet checkDst;
NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
+ ProgramStateRef State = Pred->getState();
+ CallEventRef<> UpdatedCall = Call.cloneWithState(State);
----------------
haoNoQ wrote:
Yeah this may be one of _those places_. Do we really know that all the nodes in the `Src` have the same state? Because the code lowkey can't function correctly without that.
https://github.com/llvm/llvm-project/pull/160707
More information about the cfe-commits
mailing list