aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2013-01-16 01:35:54 +0000
committerAnna Zaks <ganna@apple.com>2013-01-16 01:35:54 +0000
commit64eb070234bc4cd4fd2debf3a91c6e2d8f0d32d8 (patch)
tree071b3464e1a0674b1273c9fd90a1c5860a18e178
parentf43b7214e812ddca74a6213608c69c960e067956 (diff)
[analyzer] Refactor: parameter rename.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172595 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h6
-rw-r--r--lib/StaticAnalyzer/Checkers/CStringChecker.cpp2
-rw-r--r--lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp2
3 files changed, 5 insertions, 5 deletions
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<const MemRegion *> 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)