Searched refs:ProvedNonStrictComparison (Results 1 – 1 of 1) sorted by relevance
10136 bool ProvedNonStrictComparison = false; in isBasicBlockEntryGuardedByCond() local10141 if (!ProvedNonStrictComparison) in isBasicBlockEntryGuardedByCond()10142 ProvedNonStrictComparison = Fn(NonStrictPredicate); in isBasicBlockEntryGuardedByCond()10145 if (ProvedNonStrictComparison && ProvedNonEquality) in isBasicBlockEntryGuardedByCond()