Searched refs:PredicatedIV (Results 1 – 1 of 1) sorted by relevance
12780 bool PredicatedIV = false; in howManyLessThans() local12866 PredicatedIV = true; in howManyLessThans()12925 if (PredicatedIV || !NoWrap || !loopIsFiniteByAssumption(L) || in howManyLessThans()