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