diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-08-25 20:51:30 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-08-25 20:51:30 +0000 |
commit | 3ed9543ace0547681d018a4cbbe9c62fc0524e17 (patch) | |
tree | 8b2c03c60274f5397b68e258d317e4c2480e6e39 /clang/lib/Analysis/RegionStore.cpp | |
parent | 6d9d5a9c9477cba8825e571c3c86c77bfc2ea8d6 (diff) | |
download | bcm5719-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.cpp | 14 |
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. //===----------------------------------------------------------------------===// |