[clang] [analyzer] Avoid use of `CallEvent`s with obsolete state (PR #160707)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 25 06:56:27 PDT 2025


================
@@ -1212,59 +1222,58 @@ static bool isTrivialObjectAssignment(const CallEvent &Call) {
 }
 
 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred,
-                                 const CallEvent &CallTemplate,
+                                 const CallEvent &Call,
                                  const EvalCallOptions &CallOpts) {
   // Make sure we have the most recent state attached to the call.
   ProgramStateRef State = Pred->getState();
-  CallEventRef<> Call = CallTemplate.cloneWithState(State);
----------------
NagyDonat wrote:

I'm removing this `cloneWithState` call because this method is only called by `CheckerManager::runCheckersForEvalCall` and I had to add a `cloneWithState` call within that method. 

https://github.com/llvm/llvm-project/pull/160707


More information about the cfe-commits mailing list