diff options
| author | Nate Begeman <natebegeman@mac.com> | 2008-07-25 17:28:23 +0000 |
|---|---|---|
| committer | Nate Begeman <natebegeman@mac.com> | 2008-07-25 17:28:23 +0000 |
| commit | fd7b2be8e3ea224f462d332d5fae48122d045062 (patch) | |
| tree | 28a973ebe23bd789b7ab705e16fdf06af955e298 /llvm/lib | |
| parent | 5f0cfd096855f3a888d7b28b9f5eab1e77bac46f (diff) | |
| download | bcm5719-llvm-fd7b2be8e3ea224f462d332d5fae48122d045062.tar.gz bcm5719-llvm-fd7b2be8e3ea224f462d332d5fae48122d045062.zip | |
Allow verifier to be run on partially materialized modules.
llvm-svn: 54028
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 0aef414a681..4711689f44a 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/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 |
