From 0c34c1a25f61e88e10eeef5a237bae72a724613f Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Wed, 16 Jan 2013 01:35:54 +0000 Subject: [PATCH] [analyzer] Refactor: parameter rename. llvm-svn: 172595 --- .../clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 6 +++--- clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp | 2 +- clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index ef2278c94f98..0985f1296698 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/clang/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/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp index 889b2363f67a..771d82989bde 100644 --- a/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp +++ b/clang/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/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp index f81168e3067c..ea1e69db39b2 100644 --- a/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp +++ b/clang/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)