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 | 9410d7ee9766755c09a1d550f933a5c0a75a4535 (patch) | |
| tree | 2e8739f6afe62bb6427da00f28df41a7db7df50b /clang/lib/Analysis/CFRefCount.cpp | |
| parent | 40934cfa9b97cce0a481c0116d84d8545c44b37b (diff) | |
| download | bcm5719-llvm-9410d7ee9766755c09a1d550f933a5c0a75a4535.tar.gz bcm5719-llvm-9410d7ee9766755c09a1d550f933a5c0a75a4535.zip | |
Add a new method because sometimes the type of the conjured symbol is not the
type of the expression where we create the symbol.
llvm-svn: 68692
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index 9f48fffc28e..5d1834f9297 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/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()) { |
