Lines Matching refs:cra
539 CFGReverseBlockReachabilityAnalysis *CRA = AC->getCFGReachablityAnalysis();
555 if (destBlock == CB || CRA->isReachable(destBlock, CB))
564 if (destBlock == CB || CRA->isReachable(destBlock, CB))
573 CFGReverseBlockReachabilityAnalysis &CRA;
576 CFGReverseBlockReachabilityAnalysis &cra)
577 : CBM(cbm), TargetBlock(targetBlock), CRA(cra) {}
596 return B == TargetBlock || CRA.isReachable(B, TargetBlock);
599 VisitWL visitWL(AC->getCFGStmtMap(), CB, *CRA);
606 if (!CRA->isReachable(&AC->getCFG()->getEntry(), CB))
