Searched refs:ProvedNonEquality (Results 1 – 1 of 1) sorted by relevance
9309 bool ProvedNonEquality = false; in isLoopEntryGuardedByCond() local9314 ProvedNonEquality = in isLoopEntryGuardedByCond()9316 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9328 if (!ProvedNonEquality) in isLoopEntryGuardedByCond()9329 ProvedNonEquality = in isLoopEntryGuardedByCond()9331 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9345 if (!ProvedNonEquality) in isLoopEntryGuardedByCond()9346 ProvedNonEquality = in isLoopEntryGuardedByCond()9348 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()