242     void visitGlobalAlias(GlobalAlias &GA);
452 void Verifier::visitGlobalAlias(GlobalAlias &GA) {  in visitGlobalAlias()  argument
453   Assert1(!GA.getName().empty(),  in visitGlobalAlias()
454           "Alias name cannot be empty!", &GA);  in visitGlobalAlias()
455   Assert1(GA.hasExternalLinkage() || GA.hasLocalLinkage() ||  in visitGlobalAlias()
456           GA.hasWeakLinkage(),  in visitGlobalAlias()
457           "Alias should have external or external weak linkage!", &GA);  in visitGlobalAlias()
458   Assert1(GA.getAliasee(),  in visitGlobalAlias()
459           "Aliasee cannot be NULL!", &GA);  in visitGlobalAlias()
460   Assert1(GA.getType() == GA.getAliasee()->getType(),  in visitGlobalAlias()
461           "Alias and aliasee types should match!", &GA);  in visitGlobalAlias()
462   Assert1(!GA.hasUnnamedAddr(), "Alias cannot have unnamed_addr!", &GA);  in visitGlobalAlias()
464   if (!isa<GlobalValue>(GA.getAliasee())) {  in visitGlobalAlias()
465     const ConstantExpr *CE = dyn_cast<ConstantExpr>(GA.getAliasee());  in visitGlobalAlias()
471             &GA);  in visitGlobalAlias()
474   const GlobalValue* Aliasee = GA.resolveAliasedGlobal(/*stopOnWeak*/ false);  in visitGlobalAlias()
476           "Aliasing chain should end with function or global variable", &GA);  in visitGlobalAlias()
478   visitGlobalValue(GA);  in visitGlobalAlias()