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