aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/MemRegion.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-03-30 06:48:56 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-03-30 06:48:56 +0000
commita45fec1a586a3b234d301bb89e26f2e891def0d7 (patch)
tree45f124e1a05071a1290e16b67aa6542cc3164fd7 /lib/Analysis/MemRegion.cpp
parentcd8e4c44dd068956e9181381be3ee2d49a0fac52 (diff)
Make SymbolicRegion untyped.
Layer the type information with a TypedViewRegion on top of the SymbolicRegion. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68028 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/MemRegion.cpp')
-rw-r--r--lib/Analysis/MemRegion.cpp22
1 files changed, 0 insertions, 22 deletions
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 738e8c67d6..7c13f0701e 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/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();