From: Anna Zaks Date: Wed, 16 Jan 2013 01:35:54 +0000 (+0000) Subject: [analyzer] Refactor: parameter rename. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=64eb070234bc4cd4fd2debf3a91c6e2d8f0d32d8;p=clang [analyzer] Refactor: parameter rename. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172595 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index ef2278c94f..0985f12966 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -222,8 +222,8 @@ public: /// \param E the expression that caused the invalidation. /// \param BlockCount The number of times the current basic block has been // visited. - /// \param CausedByPointerEscape the flag is set to true when - /// the invalidation is due to escape of a symbol (representing a + /// \param CausesPointerEscape the flag is set to true when + /// the invalidation entails escape of a symbol (representing a /// pointer). For example, due to it being passed as an argument in a /// call. /// \param IS the set of invalidated symbols. @@ -232,7 +232,7 @@ public: ProgramStateRef invalidateRegions(ArrayRef Regions, const Expr *E, unsigned BlockCount, const LocationContext *LCtx, - bool CausedByPointerEscape, + bool CausesPointerEscape, InvalidatedSymbols *IS = 0, const CallEvent *Call = 0) const; diff --git a/lib/StaticAnalyzer/Checkers/CStringChecker.cpp b/lib/StaticAnalyzer/Checkers/CStringChecker.cpp index 889b2363f6..771d82989b 100644 --- a/lib/StaticAnalyzer/Checkers/CStringChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/CStringChecker.cpp @@ -817,7 +817,7 @@ ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C, // Invalidate this region. const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); return state->invalidateRegions(R, E, C.blockCount(), LCtx, - /*CausedByPointerEscape*/ false); + /*CausesPointerEscape*/ false); } // If we have a non-region value by chance, just remove the binding. diff --git a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp index f81168e306..ea1e69db39 100644 --- a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp @@ -3175,7 +3175,7 @@ bool RetainCountChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { // Invalidate the argument region. state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, - /*CausedByPointerEscape*/ false); + /*CausesPointerEscape*/ false); // Restore the refcount status of the argument. if (Binding)