Searched refs:ProvedNonEquality (Results 1 – 1 of 1) sorted by relevance
9510 bool ProvedNonEquality = false; in isLoopEntryGuardedByCond() local9515 ProvedNonEquality = in isLoopEntryGuardedByCond()9517 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9529 if (!ProvedNonEquality) in isLoopEntryGuardedByCond()9530 ProvedNonEquality = in isLoopEntryGuardedByCond()9532 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9546 if (!ProvedNonEquality) in isLoopEntryGuardedByCond()9547 ProvedNonEquality = in isLoopEntryGuardedByCond()9549 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()