diff options
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index 35c10a7624e..14006f79fd0 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -41,8 +41,7 @@ void ProgramStateRelease(const ProgramState *state) { Mgr.freeStates.push_back(s); } } -} // namespace ento -} // namespace clang +}} ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, StoreRef st, GenericDataMap gdm) @@ -210,13 +209,6 @@ ProgramState::invalidateRegionsImpl(ValueList Values, ProgramStateRef newState = makeWithStore(newStore); if (CausedByPointerEscape) { - for (const MemRegion *R : Invalidated) { - if (!R->hasStackStorage()) - continue; - - newState = Eng.processLocalRegionEscape(newState, R->getBaseRegion()); - } - newState = Eng.notifyCheckersOfPointerEscape(newState, IS, TopLevelInvalidated, Call, |

