From 7dadaa27859167c2a6ae5ebd09a7bc27f0e0dc92 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 19 Nov 2003 01:02:52 +0000 Subject: Fix PR130, and testcase test/Regression/Linker/2003-11-18-TypeResolution.ll git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10075 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/SymbolTable.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib/VMCore/SymbolTable.cpp') diff --git a/lib/VMCore/SymbolTable.cpp b/lib/VMCore/SymbolTable.cpp index 834d619..f2e5398 100644 --- a/lib/VMCore/SymbolTable.cpp +++ b/lib/VMCore/SymbolTable.cpp @@ -271,6 +271,13 @@ void SymbolTable::refineAbstractType(const DerivedType *OldType, else M->getGlobalList().remove(cast(NewGV)); delete NewGV; + } else { + // If they are not global values, they must be just random values who + // happen to conflict now that types have been resolved. If this is + // the case, reinsert the value into the new plane, allowing it to get + // renamed. + assert(V.second->getType() == NewType &&"Type resolution is broken!"); + insert(V.second); } } else { insertEntry(V.first, NewType, V.second); -- cgit v1.1