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