Lines Matching defs:GA
302 void visitGlobalAlias(const GlobalAlias &GA);
558 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {
560 Visited.insert(&GA);
561 visitAliaseeSubExpr(Visited, GA, C);
565 const GlobalAlias &GA, const Constant &C) {
568 &GA);
571 Assert(Visited.insert(GA2).second, "Aliases cannot form a cycle", &GA);
574 &GA);
588 visitAliaseeSubExpr(Visited, GA, *GA2->getAliasee());
590 visitAliaseeSubExpr(Visited, GA, *C2);
594 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {
595 Assert(GlobalAlias::isValidLinkage(GA.getLinkage()),
598 &GA);
599 const Constant *Aliasee = GA.getAliasee();
600 Assert(Aliasee, "Aliasee cannot be NULL!", &GA);
601 Assert(GA.getType() == Aliasee->getType(),
602 "Alias and aliasee types should match!", &GA);
605 "Aliasee should be either GlobalValue or ConstantExpr", &GA);
607 visitAliaseeSubExpr(GA, *Aliasee);
609 visitGlobalValue(GA);