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