From: Nate Begeman <natebegeman@mac.com>
Date: Fri, 25 Jul 2008 17:28:23 +0000 (+0000)
Subject: Allow verifier to be run on partially materialized modules.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0abbe2bf155ca617b27de1411c7f3fd132ac54c2;p=oota-llvm.git

Allow verifier to be run on partially materialized modules.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54028 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 0aef414a681..4711689f44a 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -332,6 +332,7 @@ void Verifier::visitGlobalValue(GlobalValue &GV) {
           GV.hasExternalLinkage() ||
           GV.hasDLLImportLinkage() ||
           GV.hasExternalWeakLinkage() ||
+          GV.hasGhostLinkage() ||
           (isa<GlobalAlias>(GV) &&
            (GV.hasInternalLinkage() || GV.hasWeakLinkage())),
   "Global is external, but doesn't have external or dllimport or weak linkage!",
@@ -510,7 +511,7 @@ void Verifier::visitFunction(Function &F) {
 
   if (F.isDeclaration()) {
     Assert1(F.hasExternalLinkage() || F.hasDLLImportLinkage() ||
-            F.hasExternalWeakLinkage(),
+            F.hasExternalWeakLinkage() || F.hasGhostLinkage(),
             "invalid linkage type for function declaration", &F);
   } else {
     // Verify that this function (which has a body) is not named "llvm.*".  It