diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-19 06:00:32 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-19 06:00:32 +0000 |
| commit | 54fb536b5c191317a4544e26964189a67a09cdcf (patch) | |
| tree | 07a9297354fa14f4fcd3bf810873e6ed2a7c0fe1 /clang/lib/Analysis/SVals.cpp | |
| parent | 77585a24ac481c5773d96f561840b04e81b22161 (diff) | |
| download | bcm5719-llvm-54fb536b5c191317a4544e26964189a67a09cdcf.tar.gz bcm5719-llvm-54fb536b5c191317a4544e26964189a67a09cdcf.zip | |
A further step of r73690: associate the cast-to type with the created symbol,
because the type of the symbol is used to create the default range. We need the
sign to be consistent.
llvm-svn: 73756
Diffstat (limited to 'clang/lib/Analysis/SVals.cpp')
| -rw-r--r-- | clang/lib/Analysis/SVals.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/SVals.cpp b/clang/lib/Analysis/SVals.cpp index 37f9ac7cad9..77c3c8f7722 100644 --- a/clang/lib/Analysis/SVals.cpp +++ b/clang/lib/Analysis/SVals.cpp @@ -323,10 +323,10 @@ NonLoc NonLoc::MakeCompoundVal(QualType T, llvm::ImmutableList<SVal> Vals, } SVal ValueManager::getRegionValueSymbolVal(const MemRegion* R, QualType T) { - SymbolRef sym = SymMgr.getRegionValueSymbol(R); + SymbolRef sym = SymMgr.getRegionValueSymbol(R, T); if (const TypedRegion* TR = dyn_cast<TypedRegion>(R)) { - if (!T.getTypePtr()) + if (T.isNull()) T = TR->getValueType(SymMgr.getContext()); // If T is of function pointer type, create a CodeTextRegion wrapping a |
