bail out sooner if we have two concrete but different types.

llvm-svn: 52351
This commit is contained in:
Chris Lattner 2008-06-16 20:03:01 +00:00
parent 85b66d18b9
commit fe677e9570
1 changed files with 4 additions and 0 deletions

View File

@ -93,6 +93,10 @@ static bool RecursiveResolveTypesI(const PATypeHolder &DestTy,
// type. For example, we cannot resolve an int to a float.
if (DestTyT->getTypeID() != SrcTyT->getTypeID()) return true;
// If neither type is abstract, then they really are just different types.
if (!DestTyT->isAbstract() && !SrcTyT->isAbstract())
return true;
// Otherwise, resolve the used type used by this derived type...
switch (DestTyT->getTypeID()) {
default: