Searched refs:ProvedNonStrictComparison (Results 1 – 1 of 1) sorted by relevance
10413 bool ProvedNonStrictComparison = false; in isBasicBlockEntryGuardedByCond() local10418 if (!ProvedNonStrictComparison) in isBasicBlockEntryGuardedByCond()10419 ProvedNonStrictComparison = Fn(NonStrictPredicate); in isBasicBlockEntryGuardedByCond()10422 if (ProvedNonStrictComparison && ProvedNonEquality) in isBasicBlockEntryGuardedByCond()