Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
9650 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isLoopEntryGuardedByCond() local9654 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()9667 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()9684 if (ProvingStrictComparison) { in isLoopEntryGuardedByCond()