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 | 9747febba90c40829ee428e0cd2ac2338cf64c91 (patch) | |
tree | 975dcf9db90d1ef203f1a2fe777d478906bacacd /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
parent | 99cafb1db2f1aeb6cd1ebf216714ce1b1b7f89c0 (diff) | |
download | bcm5719-llvm-9747febba90c40829ee428e0cd2ac2338cf64c91.tar.gz bcm5719-llvm-9747febba90c40829ee428e0cd2ac2338cf64c91.zip |
[analyzer] Address Jordan's nitpicks as per code review of r170625.
llvm-svn: 170832
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index 15662776d9e..73350d88eb6 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/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); |