commit fe1635bb27f5a13314169143cfdae6ecc6e4b3e2
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Apr 09 06:30:17 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Apr 09 06:30:17 2009 +0000
tree c132080fab10cab50d17ceaa59f929d1e4c23732
parent 9e82acb49d2fc1bc7e2ca4e0a489dc2b3d145c7b

Add a new method because sometimes the type of the conjured symbol is not the
type of the expression where we create the symbol.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68692 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 9f48fff..5d1834f 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1761,7 +1761,7 @@
           
             if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())){
               SVal V = SVal::GetConjuredSymbolVal(Eng.getSymbolManager(),
-                           Eng.getStoreManager().getRegionManager(), *I, Count);
+                        Eng.getStoreManager().getRegionManager(), *I, T, Count);
               state = state.BindLoc(Loc::MakeVal(R), V);
             }
             else if (const RecordType *RT = T->getAsStructureType()) {