Home
last modified time | relevance | path

Searched refs:CanProveNotTakenFirstIteration (Results 1 – 1 of 1) sorted by relevance

/freebsd-12.1/contrib/llvm/lib/Analysis/
H A DMustExecute.cpp110 static bool CanProveNotTakenFirstIteration(const BasicBlock *ExitBlock, in CanProveNotTakenFirstIteration() function
225 !CanProveNotTakenFirstIteration(Succ, DT, CurLoop)) in allLoopPathsLeadToBlock()