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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52351 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2008-06-16 20:03:01 +00:00
parent 9ddf2c898f
commit 56539659eb

View File

@ -93,6 +93,10 @@ static bool RecursiveResolveTypesI(const PATypeHolder &DestTy,
// type. For example, we cannot resolve an int to a float. // type. For example, we cannot resolve an int to a float.
if (DestTyT->getTypeID() != SrcTyT->getTypeID()) return true; 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... // Otherwise, resolve the used type used by this derived type...
switch (DestTyT->getTypeID()) { switch (DestTyT->getTypeID()) {
default: default: