1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00

Allow verifier to be run on partially materialized modules.

llvm-svn: 54028
This commit is contained in:
Nate Begeman 2008-07-25 17:28:23 +00:00
parent 8757bedd41
commit 8c76bda987

View File

@ -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