diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-03-30 22:20:54 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-03-30 22:20:54 +0000 |
commit | 7857bd2743096639529c4a6144135e5dd18a8a8c (patch) | |
tree | e21b1b34739c06cc7a45cc3b3610c543f1b42411 /clang/lib/Analysis/MemRegion.cpp | |
parent | cbe5b2f8008c9dfe151b972e209244befa394d6a (diff) | |
download | bcm5719-llvm-7857bd2743096639529c4a6144135e5dd18a8a8c.tar.gz bcm5719-llvm-7857bd2743096639529c4a6144135e5dd18a8a8c.zip |
Re-apply 68028. The code had drifted enough that the tests would fail without
it. Will discuss offline whether symbolic regions should by typed or typeless.
llvm-svn: 68070
Diffstat (limited to 'clang/lib/Analysis/MemRegion.cpp')
-rw-r--r-- | clang/lib/Analysis/MemRegion.cpp | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp index 738e8c67d69..7c13f0701e7 100644 --- a/clang/lib/Analysis/MemRegion.cpp +++ b/clang/lib/Analysis/MemRegion.cpp @@ -111,28 +111,6 @@ void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const { // getLValueType() and getRValueType() //===----------------------------------------------------------------------===// -QualType SymbolicRegion::getRValueType(ASTContext& C) const { - // Get the type of the symbol. - QualType T = sym->getType(C); - - if (const PointerType* PTy = T->getAsPointerType()) - return PTy->getPointeeType(); - - if (const BlockPointerType* PTy = T->getAsBlockPointerType()) - return PTy->getPointeeType(); - - // There is no rvalue type of id<...>. - if (T->getAsObjCQualifiedIdType()) - return QualType(); - - assert(Loc::IsLocType(T) && "Non-location type."); - return QualType(); -} - -QualType SymbolicRegion::getLValueType(ASTContext& C) const { - return sym->getType(C); -} - QualType ElementRegion::getRValueType(ASTContext& C) const { // Strip off typedefs from the ArrayRegion's RvalueType. QualType T = getArrayRegion()->getRValueType(C)->getDesugaredType(); |