summaryrefslogtreecommitdiffstats
path: root/clang/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
commit5415b207e34a0673b5fca4ab4c7535e5b8d5c0d4 (patch)
treef0e99747dca6010f0e0b115596b212db51be411d /clang/lib/Analysis/MemRegion.cpp
parentd67a32252c736d496ed12f173a81303f77b44e1a (diff)
downloadbcm5719-llvm-5415b207e34a0673b5fca4ab4c7535e5b8d5c0d4.tar.gz
bcm5719-llvm-5415b207e34a0673b5fca4ab4c7535e5b8d5c0d4.zip
Make SymbolicRegion untyped.
Layer the type information with a TypedViewRegion on top of the SymbolicRegion. llvm-svn: 68028
Diffstat (limited to 'clang/lib/Analysis/MemRegion.cpp')
-rw-r--r--clang/lib/Analysis/MemRegion.cpp22
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();
OpenPOWER on IntegriCloud