Searched refs:ProvedNonStrictComparison (Results 1 – 1 of 1) sorted by relevance
9509 bool ProvedNonStrictComparison = false; in isLoopEntryGuardedByCond() local9513 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9517 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9526 if (!ProvedNonStrictComparison) in isLoopEntryGuardedByCond()9527 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9532 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9543 if (!ProvedNonStrictComparison) in isLoopEntryGuardedByCond()9544 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9549 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()