Searched refs:CanProveNotTakenFirstIteration (Results 1 – 1 of 1) sorted by relevance
116 static bool CanProveNotTakenFirstIteration(const BasicBlock *ExitBlock, in CanProveNotTakenFirstIteration() function238 !CanProveNotTakenFirstIteration(Succ, DT, CurLoop)) in allLoopPathsLeadToBlock()