Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
10412 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isBasicBlockEntryGuardedByCond() local10427 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()10439 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()10454 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()