From 9a92b95092a3fa76e43be96e94ce871743f9d556 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 4 Mar 2009 22:55:18 +0000 Subject: MemRegion: - Have 'TypedRegion::getRValueType()' return a null QualType for 'id<...>' instead of aborting. - Change 'TypedRegion::isBoundable()' to return true for all objects with a non-null RValueType (this may not be the final behavior). llvm-svn: 66093 --- clang/lib/Analysis/MemRegion.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'clang/lib/Analysis/MemRegion.cpp') diff --git a/clang/lib/Analysis/MemRegion.cpp b/clang/lib/Analysis/MemRegion.cpp index 8dd31b54b0b..c304b659b69 100644 --- a/clang/lib/Analysis/MemRegion.cpp +++ b/clang/lib/Analysis/MemRegion.cpp @@ -123,8 +123,9 @@ QualType SymbolicRegion::getRValueType(ASTContext& C) const { if (const BlockPointerType* PTy = T->getAsBlockPointerType()) return PTy->getPointeeType(); - assert(!T->getAsObjCQualifiedIdType() && - "There is no rvalue type for id<...>"); + // There is no rvalue type of id<...>. + if (T->getAsObjCQualifiedIdType()) + return QualType(); assert(Loc::IsLocType(T) && "Non-location type."); return QualType(); -- cgit v1.2.3