NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids.

llvm-svn: 74874
This commit is contained in:
Ted Kremenek 2009-07-06 22:39:40 +00:00
parent f1f1743b2e
commit bb5a62d46e
1 changed files with 2 additions and 2 deletions

View File

@ -52,8 +52,8 @@ StoreManager::NewCastRegion(const GRState *state, const MemRegion* R,
return CastResult(state, R); return CastResult(state, R);
} }
// Check cast to ObjCQualifiedID type. // Handle casts to Objective-C objects.
if (ToTy->isObjCQualifiedIdType()) { if (Ctx.isObjCObjectPointerType(ToTy)) {
state = setCastType(state, R, ToTy); state = setCastType(state, R, ToTy);
return CastResult(state, R); return CastResult(state, R);
} }