Searched refs:ProvedNonStrictComparison (Results 1 – 2 of 2) sorted by relevance
9651 bool ProvedNonStrictComparison = false; in isLoopEntryGuardedByCond() local9655 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9659 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9668 if (!ProvedNonStrictComparison) in isLoopEntryGuardedByCond()9669 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9674 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()9685 if (!ProvedNonStrictComparison) in isLoopEntryGuardedByCond()9686 ProvedNonStrictComparison = in isLoopEntryGuardedByCond()9691 if (ProvedNonStrictComparison && ProvedNonEquality) in isLoopEntryGuardedByCond()
9970 bool ProvedNonStrictComparison = false; in isBasicBlockEntryGuardedByCond() local9974 ProvedNonStrictComparison = in isBasicBlockEntryGuardedByCond()9978 if (ProvedNonStrictComparison && ProvedNonEquality) in isBasicBlockEntryGuardedByCond()9987 if (!ProvedNonStrictComparison) in isBasicBlockEntryGuardedByCond()9988 ProvedNonStrictComparison = in isBasicBlockEntryGuardedByCond()9993 if (ProvedNonStrictComparison && ProvedNonEquality) in isBasicBlockEntryGuardedByCond()10005 if (!ProvedNonStrictComparison) in isBasicBlockEntryGuardedByCond()10006 ProvedNonStrictComparison = isImpliedCond(NonStrictPredicate, LHS, RHS, in isBasicBlockEntryGuardedByCond()10011 if (ProvedNonStrictComparison && ProvedNonEquality) in isBasicBlockEntryGuardedByCond()