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