From 9747febba90c40829ee428e0cd2ac2338cf64c91 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Fri, 21 Dec 2012 01:50:14 +0000 Subject: [analyzer] Address Jordan's nitpicks as per code review of r170625. llvm-svn: 170832 --- clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp') 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 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 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 Regions, ProgramStateRef newState = makeWithStore(newStore); - if (ResultsInPointerEscape) + if (CausedByPointerEscape) newState = Eng->processPointerEscapedOnInvalidateRegions(newState, &IS, Regions, Invalidated, Call); -- cgit v1.2.3