@@ -3714,8 +3714,7 @@ ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State,
37143714// / evalBind - Handle the semantics of binding a value to a specific location.
37153715// / This method is used by evalStore and (soon) VisitDeclStmt, and others.
37163716void ExprEngine::evalBind (ExplodedNodeSet &Dst, const Stmt *StoreE,
3717- ExplodedNode *Pred,
3718- SVal location, SVal Val,
3717+ ExplodedNode *Pred, SVal location, SVal Val,
37193718 bool AtDeclInit, const ProgramPoint *PP) {
37203719 const LocationContext *LC = Pred->getLocationContext ();
37213720 PostStmt PS (StoreE, LC);
@@ -3748,8 +3747,8 @@ void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
37483747 // When binding the value, pass on the hint that this is a initialization.
37493748 // For initializations, we do not need to inform clients of region
37503749 // changes.
3751- state = state->bindLoc (location.castAs <Loc>(),
3752- Val, LC, /* notifyChanges = */ !AtDeclInit);
3750+ state = state->bindLoc (location.castAs <Loc>(), Val, LC,
3751+ /* notifyChanges = */ !AtDeclInit);
37533752
37543753 const MemRegion *LocReg = nullptr ;
37553754 if (std::optional<loc::MemRegionVal> LocRegVal =
0 commit comments