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