From 56539659eb1b192d493aa333b60213889129b9f1 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 16 Jun 2008 20:03:01 +0000 Subject: [PATCH] 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 --- lib/Linker/LinkModules.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/Linker/LinkModules.cpp b/lib/Linker/LinkModules.cpp index 43721e6237c..0d521c086e2 100644 --- a/lib/Linker/LinkModules.cpp +++ b/lib/Linker/LinkModules.cpp @@ -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: