diff options
| author | Anna Zaks <ganna@apple.com> | 2012-12-21 01:50:14 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-12-21 01:50:14 +0000 |
| commit | 1655bcd052a67a3050fc55df8ecce57342352e68 (patch) | |
| tree | 90239f90937585db00c995f914e811430624af77 /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 6d42f4d8b8a176336a8c49ec3cf5f7fb6545ccfd (diff) | |
[analyzer] Address Jordan's nitpicks as per code review of r170625.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170832 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ProgramState.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/StaticAnalyzer/Core/ProgramState.cpp b/lib/StaticAnalyzer/Core/ProgramState.cpp index 15662776d9..73350d88eb 100644 --- a/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -144,16 +144,16 @@ ProgramStateRef ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, - bool ResultsInPointerEscape, + bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call) const { if (!IS) { InvalidatedSymbols invalidated; return invalidateRegionsImpl(Regions, E, Count, LCtx, - ResultsInPointerEscape, + CausedByPointerEscape, invalidated, Call); } - return invalidateRegionsImpl(Regions, E, Count, LCtx, ResultsInPointerEscape, + return invalidateRegionsImpl(Regions, E, Count, LCtx, CausedByPointerEscape, *IS, Call); } @@ -161,7 +161,7 @@ ProgramStateRef ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, - bool ResultsInPointerEscape, + bool CausedByPointerEscape, InvalidatedSymbols &IS, const CallEvent *Call) const { ProgramStateManager &Mgr = getStateManager(); @@ -175,7 +175,7 @@ ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, ProgramStateRef newState = makeWithStore(newStore); - if (ResultsInPointerEscape) + if (CausedByPointerEscape) newState = Eng->processPointerEscapedOnInvalidateRegions(newState, &IS, Regions, Invalidated, Call); |