924     auto IsFinishedRegionExit = [&FinishedExitBlocks](BasicBlock *SuccBB) {  in buildDomainsWithBranchConstraints()  argument
925       return FinishedExitBlocks.count(SuccBB);  in buildDomainsWithBranchConstraints()
948       BasicBlock *SuccBB = getRegionNodeSuccessor(RN, TI, u);  in buildDomainsWithBranchConstraints()  local
951       if (!scop->contains(SuccBB))  in buildDomainsWithBranchConstraints()
956       if (FinishedExitBlocks.count(SuccBB))  in buildDomainsWithBranchConstraints()
960       if (DT.dominates(SuccBB, BB))  in buildDomainsWithBranchConstraints()
964           getFirstNonBoxedLoopFor(SuccBB, LI, scop->getBoxedLoops());  in buildDomainsWithBranchConstraints()
971       isl::set &SuccDomain = scop->getOrInitEmptyDomain(SuccBB);  in buildDomainsWithBranchConstraints()
977         InvalidDomainMap[SuccBB] = CondSet.empty(CondSet.get_space());  in buildDomainsWithBranchConstraints()
1041       auto *SuccBB = getRegionNodeSuccessor(RN, TI, u);  in propagateInvalidStmtDomains()  local
1044       if (!scop->contains(SuccBB))  in propagateInvalidStmtDomains()
1048       if (DT.dominates(SuccBB, BB))  in propagateInvalidStmtDomains()
1052           getFirstNonBoxedLoopFor(SuccBB, LI, scop->getBoxedLoops());  in propagateInvalidStmtDomains()
1057       isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB];  in propagateInvalidStmtDomains()
1061       InvalidDomainMap[SuccBB] = SuccInvalidDomain;  in propagateInvalidStmtDomains()