diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 08:32:57 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 08:32:57 +0000 |
| commit | 1d153328be1c52cf8d595bbd24ca829c2f8334d2 (patch) | |
| tree | 7ecc46f8dbcb10e5b0cd6e63536275c135a36c31 /clang/lib/Analysis/Store.cpp | |
| parent | f92d732c99534c23e8657de5feca373dc40937c5 (diff) | |
| download | bcm5719-llvm-1d153328be1c52cf8d595bbd24ca829c2f8334d2.tar.gz bcm5719-llvm-1d153328be1c52cf8d595bbd24ca829c2f8334d2.zip | |
OSAtomic simulation: use the original region as the location to load from,
instead of the ElementRegion obtained from casts.
Test cast: the leak cannot occur bacause the true branch cannot be taken.
llvm-svn: 90964
Diffstat (limited to 'clang/lib/Analysis/Store.cpp')
| -rw-r--r-- | clang/lib/Analysis/Store.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/Store.cpp b/clang/lib/Analysis/Store.cpp index e5918428384..be4ce2d57c6 100644 --- a/clang/lib/Analysis/Store.cpp +++ b/clang/lib/Analysis/Store.cpp @@ -199,7 +199,7 @@ SVal StoreManager::CastRetrievedVal(SVal V, const TypedRegion *R, QualType castTy) { if (castTy.isNull()) return V; - + assert(ValMgr.getContext().hasSameUnqualifiedType(castTy, R->getValueType(ValMgr.getContext()))); return V; @@ -228,4 +228,4 @@ const GRState *StoreManager::InvalidateRegions(const GRState *state, SVal StoreManager::getLValueCompoundLiteral(const CompoundLiteralExpr* CL, const LocationContext *LC) { return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC)); -}
\ No newline at end of file +} |
