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).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66093 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 8dd31b5..c304b65 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/lib/Analysis/MemRegion.cpp
@@ -123,8 +123,9 @@
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();