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 | 5415b207e34a0673b5fca4ab4c7535e5b8d5c0d4 (patch) | |
tree | f0e99747dca6010f0e0b115596b212db51be411d /clang/lib/Analysis/MemRegion.cpp | |
parent | d67a32252c736d496ed12f173a81303f77b44e1a (diff) | |
download | bcm5719-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.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(); |