diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-03-30 06:48:56 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-03-30 06:48:56 +0000 |
commit | a45fec1a586a3b234d301bb89e26f2e891def0d7 (patch) | |
tree | 45f124e1a05071a1290e16b67aa6542cc3164fd7 /lib/Analysis/MemRegion.cpp | |
parent | cd8e4c44dd068956e9181381be3ee2d49a0fac52 (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.cpp | 22 |
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(); |