diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 51d76dc257ee9..9889d2604a890 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -484,17 +484,6 @@ class ProgramState : public llvm::FoldingSetNode { friend void ProgramStateRetain(const ProgramState *state); friend void ProgramStateRelease(const ProgramState *state); - /// \sa invalidateValues() - /// \sa invalidateRegions() - ProgramStateRef - invalidateRegionsImpl(ArrayRef Values, - const Expr *E, unsigned BlockCount, - const LocationContext *LCtx, - bool ResultsInSymbolEscape, - InvalidatedSymbols *IS, - RegionAndSymbolInvalidationTraits *HTraits, - const CallEvent *Call) const; - SVal wrapSymbolicRegion(SVal Base) const; }; diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index f82cd944750a3..e6d3399a21942 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -159,8 +159,8 @@ ProgramState::invalidateRegions(RegionList Regions, for (const MemRegion *Reg : Regions) Values.push_back(loc::MemRegionVal(Reg)); - return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, - IS, ITraits, Call); + return invalidateRegions(Values, E, Count, LCtx, CausedByPointerEscape, IS, + Call, ITraits); } ProgramStateRef @@ -172,18 +172,6 @@ ProgramState::invalidateRegions(ValueList Values, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const { - return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, - IS, ITraits, Call); -} - -ProgramStateRef -ProgramState::invalidateRegionsImpl(ValueList Values, - const Expr *E, unsigned Count, - const LocationContext *LCtx, - bool CausedByPointerEscape, - InvalidatedSymbols *IS, - RegionAndSymbolInvalidationTraits *ITraits, - const CallEvent *Call) const { ProgramStateManager &Mgr = getStateManager(); ExprEngine &Eng = Mgr.getOwningEngine(); @@ -197,21 +185,18 @@ ProgramState::invalidateRegionsImpl(ValueList Values, StoreManager::InvalidatedRegions TopLevelInvalidated; StoreManager::InvalidatedRegions Invalidated; - const StoreRef &newStore - = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, - *IS, *ITraits, &TopLevelInvalidated, - &Invalidated); + const StoreRef &NewStore = Mgr.StoreMgr->invalidateRegions( + getStore(), Values, E, Count, LCtx, Call, *IS, *ITraits, + &TopLevelInvalidated, &Invalidated); - ProgramStateRef newState = makeWithStore(newStore); + ProgramStateRef NewState = makeWithStore(NewStore); if (CausedByPointerEscape) { - newState = Eng.notifyCheckersOfPointerEscape(newState, IS, - TopLevelInvalidated, - Call, - *ITraits); + NewState = Eng.notifyCheckersOfPointerEscape( + NewState, IS, TopLevelInvalidated, Call, *ITraits); } - return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, + return Eng.processRegionChanges(NewState, IS, TopLevelInvalidated, Invalidated, LCtx, Call); }