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