From 598bd05bd772c968c42ce64ea2bce92c32916ca0 Mon Sep 17 00:00:00 2001 From: David Majnemer Date: Tue, 9 Dec 2014 05:56:09 +0000 Subject: [PATCH] Reland r223754 The commit is identical except a reference to `GV' should have been to `GVal'. llvm-svn: 223756 --- llvm/lib/AsmParser/LLParser.cpp | 15 +++++++++------ llvm/test/Assembler/invalid-fwdref2.ll | 4 ++++ 2 files changed, 13 insertions(+), 6 deletions(-) create mode 100644 llvm/test/Assembler/invalid-fwdref2.ll diff --git a/llvm/lib/AsmParser/LLParser.cpp b/llvm/lib/AsmParser/LLParser.cpp index e1c00cc..b0edeb4 100644 --- a/llvm/lib/AsmParser/LLParser.cpp +++ b/llvm/lib/AsmParser/LLParser.cpp @@ -787,33 +787,36 @@ bool LLParser::ParseGlobal(const std::string &Name, LocTy NameLoc, if (Ty->isFunctionTy() || Ty->isLabelTy()) return Error(TyLoc, "invalid type for global variable"); - GlobalVariable *GV = nullptr; + GlobalValue *GVal = nullptr; // See if the global was forward referenced, if so, use the global. if (!Name.empty()) { - if (GlobalValue *GVal = M->getNamedValue(Name)) { + GVal = M->getNamedValue(Name); + if (GVal) { if (!ForwardRefVals.erase(Name) || !isa(GVal)) return Error(NameLoc, "redefinition of global '@" + Name + "'"); - GV = cast(GVal); } } else { std::map >::iterator I = ForwardRefValIDs.find(NumberedVals.size()); if (I != ForwardRefValIDs.end()) { - GV = cast(I->second.first); + GVal = I->second.first; ForwardRefValIDs.erase(I); } } - if (!GV) { + GlobalVariable *GV; + if (!GVal) { GV = new GlobalVariable(*M, Ty, false, GlobalValue::ExternalLinkage, nullptr, Name, nullptr, GlobalVariable::NotThreadLocal, AddrSpace); } else { - if (GV->getType()->getElementType() != Ty) + if (GVal->getType()->getElementType() != Ty) return Error(TyLoc, "forward reference and definition of global have different types"); + GV = cast(GVal); + // Move the forward-reference to the correct spot in the module. M->getGlobalList().splice(M->global_end(), M->getGlobalList(), GV); } diff --git a/llvm/test/Assembler/invalid-fwdref2.ll b/llvm/test/Assembler/invalid-fwdref2.ll new file mode 100644 index 0000000..d823481 --- /dev/null +++ b/llvm/test/Assembler/invalid-fwdref2.ll @@ -0,0 +1,4 @@ +; RUN: not llvm-as %s -disable-output 2>&1 | grep "forward reference and definition of global have different types" + +@a2 = alias void ()* @g2 +@g2 = internal global i8 42 -- 2.7.4