aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJordan Rose <jordan_rose@apple.com>2012-07-18 21:59:46 +0000
committerJordan Rose <jordan_rose@apple.com>2012-07-18 21:59:46 +0000
commit4b3918e9534e46f9ac067c6e0018f94613292efa (patch)
tree8ff587ba642e1b7e9cf828ac2c40d423b244f46d
parentb7a23e05d1d8f07f2a6edce5c88c728fe894c2c7 (diff)
[analyzer] Rename addExtraInvalidatedRegions to get...Regions
Per Anna's comment that "add..." sounds like a method that modifies the receiver, rather than its argument. No functionality change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160460 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h18
-rw-r--r--lib/StaticAnalyzer/Core/Calls.cpp12
2 files changed, 15 insertions, 15 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h b/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h
index 596716b394..7944d7aa6e 100644
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h
+++ b/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h
@@ -109,7 +109,7 @@ protected:
/// \brief Used to specify non-argument regions that will be invalidated as a
/// result of this call.
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
QualType getDeclaredResultType() const;
@@ -281,7 +281,7 @@ protected:
: CallEvent(D, St, LCtx, K) {}
// Most function calls have no extra invalidated regions.
- void addExtraInvalidatedRegions(RegionList &Regions) const {}
+ void getExtraInvalidatedRegions(RegionList &Regions) const {}
QualType getDeclaredResultType() const;
@@ -367,7 +367,7 @@ class CXXInstanceCall : public SimpleCall {
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
CXXInstanceCall(const CallExpr *CE, ProgramStateRef St,
const LocationContext *LCtx, Kind K)
@@ -435,7 +435,7 @@ class BlockCall : public SimpleCall {
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
QualType getDeclaredResultType() const;
@@ -482,7 +482,7 @@ class CXXConstructorCall : public AnyFunctionCall {
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
public:
/// Represents a constructor call to a new or unknown region.
@@ -532,7 +532,7 @@ class CXXDestructorCall : public AnyFunctionCall {
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
public:
/// Creates an implicit destructor.
@@ -610,7 +610,7 @@ protected:
const LocationContext *LCtx, Kind K)
: CallEvent(Msg, St, LCtx, K) {}
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
QualType getDeclaredResultType() const;
@@ -792,8 +792,8 @@ public:
return cast<ObjCPropertyAccess>(this)->fn(arg); \
}
-inline void CallEvent::addExtraInvalidatedRegions(RegionList &Regions) const {
- DISPATCH_ARG(addExtraInvalidatedRegions, Regions);
+inline void CallEvent::getExtraInvalidatedRegions(RegionList &Regions) const {
+ DISPATCH_ARG(getExtraInvalidatedRegions, Regions);
}
inline QualType CallEvent::getDeclaredResultType() const {
diff --git a/lib/StaticAnalyzer/Core/Calls.cpp b/lib/StaticAnalyzer/Core/Calls.cpp
index 17627b3358..ba56364d51 100644
--- a/lib/StaticAnalyzer/Core/Calls.cpp
+++ b/lib/StaticAnalyzer/Core/Calls.cpp
@@ -115,7 +115,7 @@ ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
ProgramStateRef Result = (Orig ? Orig : getState());
SmallVector<const MemRegion *, 8> RegionsToInvalidate;
- addExtraInvalidatedRegions(RegionsToInvalidate);
+ getExtraInvalidatedRegions(RegionsToInvalidate);
// Indexes of arguments whose values will be preserved by the call.
llvm::SmallSet<unsigned, 1> PreserveArgs;
@@ -327,7 +327,7 @@ void CallEvent::dump(raw_ostream &Out) const {
}
-void CXXInstanceCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (const MemRegion *R = getCXXThisVal().getAsRegion())
Regions.push_back(R);
}
@@ -420,7 +420,7 @@ BlockCall::param_end(bool UseDefinitionParams) const {
return D->param_end();
}
-void BlockCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const {
// FIXME: This also needs to invalidate captured globals.
if (const MemRegion *R = getBlockRegion())
Regions.push_back(R);
@@ -441,7 +441,7 @@ SVal CXXConstructorCall::getCXXThisVal() const {
return UnknownVal();
}
-void CXXConstructorCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (Data)
Regions.push_back(static_cast<const MemRegion *>(Data));
}
@@ -453,7 +453,7 @@ SVal CXXDestructorCall::getCXXThisVal() const {
return UnknownVal();
}
-void CXXDestructorCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXDestructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (Data)
Regions.push_back(static_cast<const MemRegion *>(Data));
}
@@ -500,7 +500,7 @@ ObjCMethodCall::param_end(bool UseDefinitionParams) const {
}
void
-ObjCMethodCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (const MemRegion *R = getReceiverSVal().getAsRegion())
Regions.push_back(R);
}