diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:30:17 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:30:17 +0000 |
| commit | fe1635bb27f5a13314169143cfdae6ecc6e4b3e2 (patch) | |
| tree | c132080fab10cab50d17ceaa59f929d1e4c23732 /lib/Analysis/CFRefCount.cpp | |
| parent | 9e82acb49d2fc1bc7e2ca4e0a489dc2b3d145c7b (diff) | |
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
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | lib/Analysis/CFRefCount.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp index 9f48fffc28..5d1834f929 100644 --- a/lib/Analysis/CFRefCount.cpp +++ b/lib/Analysis/CFRefCount.cpp @@ -1761,7 +1761,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, 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()) { |