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