Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
11446 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isBasicBlockEntryGuardedByCond() local11461 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()11474 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()