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