summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-08-25 20:51:30 +0000
committerTed Kremenek <kremenek@apple.com>2009-08-25 20:51:30 +0000
commit3ed9543ace0547681d018a4cbbe9c62fc0524e17 (patch)
tree8b2c03c60274f5397b68e258d317e4c2480e6e39 /clang/lib/Analysis/RegionStore.cpp
parent6d9d5a9c9477cba8825e571c3c86c77bfc2ea8d6 (diff)
downloadbcm5719-llvm-3ed9543ace0547681d018a4cbbe9c62fc0524e17.tar.gz
bcm5719-llvm-3ed9543ace0547681d018a4cbbe9c62fc0524e17.zip
Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the
implicit cast logic in RegionStoreManager to BasicStoreManager. This involved moving CastRetriedVal from RegionStoreManager to StoreManager. llvm-svn: 80026
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
-rw-r--r--clang/lib/Analysis/RegionStore.cpp14
1 files changed, 0 insertions, 14 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 53ef054c530..9225bfbaae7 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -299,9 +299,6 @@ public:
SVal RetrieveFieldOrElementCommon(const GRState *state, const TypedRegion *R,
QualType Ty, const MemRegion *superR);
- SValuator::CastResult CastRetrievedVal(SVal val, const GRState *state,
- const TypedRegion *R, QualType castTy);
-
/// Retrieve the values in a struct and return a CompoundVal, used when doing
/// struct copy:
/// struct s x, y;
@@ -1247,17 +1244,6 @@ SVal RegionStoreManager::RetrieveArray(const GRState *state,
#endif
}
-SValuator::CastResult RegionStoreManager::CastRetrievedVal(SVal V,
- const GRState *state,
- const TypedRegion *R,
- QualType castTy) {
- if (castTy.isNull())
- return SValuator::CastResult(state, V);
-
- ASTContext &Ctx = getContext();
- return ValMgr.getSValuator().EvalCast(V, state, castTy, R->getValueType(Ctx));
-}
-
//===----------------------------------------------------------------------===//
// Binding values to regions.
//===----------------------------------------------------------------------===//
OpenPOWER on IntegriCloud