287   void visitGlobalAlias(const GlobalAlias &GA);
549 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {  in visitAliaseeSubExpr()  argument
551   Visited.insert(&GA);  in visitAliaseeSubExpr()
552   visitAliaseeSubExpr(Visited, GA, C);  in visitAliaseeSubExpr()
556                                    const GlobalAlias &GA, const Constant &C) {  in visitAliaseeSubExpr()  argument
558     Assert(!GV->isDeclaration(), "Alias must point to a definition", &GA);  in visitAliaseeSubExpr()
561       Assert(Visited.insert(GA2).second, "Aliases cannot form a cycle", &GA);  in visitAliaseeSubExpr()
564              &GA);  in visitAliaseeSubExpr()
578       visitAliaseeSubExpr(Visited, GA, *GA2->getAliasee());  in visitAliaseeSubExpr()
580       visitAliaseeSubExpr(Visited, GA, *C2);  in visitAliaseeSubExpr()
584 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {  in visitGlobalAlias()  argument
585   Assert(!GA.getName().empty(), "Alias name cannot be empty!", &GA);  in visitGlobalAlias()
586   Assert(GlobalAlias::isValidLinkage(GA.getLinkage()),  in visitGlobalAlias()
589          &GA);  in visitGlobalAlias()
590   const Constant *Aliasee = GA.getAliasee();  in visitGlobalAlias()
591   Assert(Aliasee, "Aliasee cannot be NULL!", &GA);  in visitGlobalAlias()
592   Assert(GA.getType() == Aliasee->getType(),  in visitGlobalAlias()
593          "Alias and aliasee types should match!", &GA);  in visitGlobalAlias()
596          "Aliasee should be either GlobalValue or ConstantExpr", &GA);  in visitGlobalAlias()
598   visitAliaseeSubExpr(GA, *Aliasee);  in visitGlobalAlias()
600   visitGlobalValue(GA);  in visitGlobalAlias()