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