[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