Lines Matching defs:GA
258 void visitGlobalAlias(const GlobalAlias &GA);
497 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {
499 Visited.insert(&GA);
500 visitAliaseeSubExpr(Visited, GA, C);
504 const GlobalAlias &GA, const Constant &C) {
506 Assert1(!GV->isDeclaration(), "Alias must point to a definition", &GA);
509 Assert1(Visited.insert(GA2), "Aliases cannot form a cycle", &GA);
512 &GA);
526 visitAliaseeSubExpr(Visited, GA, *GA2->getAliasee());
528 visitAliaseeSubExpr(Visited, GA, *C2);
532 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {
533 Assert1(!GA.getName().empty(),
534 "Alias name cannot be empty!", &GA);
535 Assert1(GlobalAlias::isValidLinkage(GA.getLinkage()),
538 &GA);
539 const Constant *Aliasee = GA.getAliasee();
540 Assert1(Aliasee, "Aliasee cannot be NULL!", &GA);
541 Assert1(GA.getType() == Aliasee->getType(),
542 "Alias and aliasee types should match!", &GA);
545 "Aliasee should be either GlobalValue or ConstantExpr", &GA);
547 visitAliaseeSubExpr(GA, *Aliasee);
549 visitGlobalValue(GA);