Searched refs:SwitchValueOnFirstIter (Results 1 – 1 of 1) sorted by relevance
365 auto *SwitchValueOnFirstIter = in canProveExitOnFirstIteration() local367 auto *ConstSwitchValue = dyn_cast<ConstantInt>(SwitchValueOnFirstIter); in canProveExitOnFirstIteration()