/// \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;
: 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;
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)
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
QualType getDeclaredResultType() const;
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.
friend class CallEvent;
protected:
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
public:
/// Creates an implicit destructor.
const LocationContext *LCtx, Kind K)
: CallEvent(Msg, St, LCtx, K) {}
- void addExtraInvalidatedRegions(RegionList &Regions) const;
+ void getExtraInvalidatedRegions(RegionList &Regions) const;
QualType getDeclaredResultType() const;
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 {
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;
}
-void CXXInstanceCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (const MemRegion *R = getCXXThisVal().getAsRegion())
Regions.push_back(R);
}
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);
return UnknownVal();
}
-void CXXConstructorCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (Data)
Regions.push_back(static_cast<const MemRegion *>(Data));
}
return UnknownVal();
}
-void CXXDestructorCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+void CXXDestructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (Data)
Regions.push_back(static_cast<const MemRegion *>(Data));
}
}
void
-ObjCMethodCall::addExtraInvalidatedRegions(RegionList &Regions) const {
+ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const {
if (const MemRegion *R = getReceiverSVal().getAsRegion())
Regions.push_back(R);
}