Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
9508 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isLoopEntryGuardedByCond() local9512 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()9525 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()9542 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()