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