Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
10135 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isBasicBlockEntryGuardedByCond() local10150 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()10162 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()10177 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()