Lines Matching refs:cra
543 CFGReverseBlockReachabilityAnalysis *CRA = AC->getCFGReachablityAnalysis();
559 if (destBlock == CB || CRA->isReachable(destBlock, CB))
568 if (destBlock == CB || CRA->isReachable(destBlock, CB))
577 CFGReverseBlockReachabilityAnalysis &CRA;
580 CFGReverseBlockReachabilityAnalysis &cra)
581 : CBM(cbm), TargetBlock(targetBlock), CRA(cra) {}
597 return B == TargetBlock || CRA.isReachable(B, TargetBlock);
600 VisitWL visitWL(AC->getCFGStmtMap(), CB, *CRA);
607 if (!CRA->isReachable(&AC->getCFG()->getEntry(), CB))
