diff options
Diffstat (limited to 'clang/lib/Analysis/Store.cpp')
| -rw-r--r-- | clang/lib/Analysis/Store.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/clang/lib/Analysis/Store.cpp b/clang/lib/Analysis/Store.cpp index afe2b4e7bd6..2fd72ac0a14 100644 --- a/clang/lib/Analysis/Store.cpp +++ b/clang/lib/Analysis/Store.cpp @@ -64,7 +64,7 @@ const MemRegion *StoreManager::CastRegion(const MemRegion *R, QualType CastToTy) QualType CanonPointeeTy = Ctx.getCanonicalType(PointeeTy); // Handle casts to void*. We just pass the region through. - if (CanonPointeeTy.getUnqualifiedType() == Ctx.VoidTy) + if (CanonPointeeTy.getLocalUnqualifiedType() == Ctx.VoidTy) return R; // Handle casts from compatible types. @@ -199,9 +199,7 @@ SVal StoreManager::CastRetrievedVal(SVal V, const TypedRegion *R, if (castTy.isNull()) return V; - assert(Ctx.getCanonicalType(castTy).getUnqualifiedType() == - Ctx.getCanonicalType(R->getValueType(Ctx)).getUnqualifiedType()); - + assert(Ctx.hasSameUnqualifiedType(castTy, R->getValueType(Ctx))); return V; } |
