reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3642 for (unsigned i = 0, e = Ops.size() - 1; i != e; ++i) { 3642 for (unsigned i = 0, e = Ops.size() - 1; i != e; ++i) { 3643 if (Ops[i] == Ops[i + 1] || 3643 if (Ops[i] == Ops[i + 1] || 3644 isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) { 3644 isKnownViaNonRecursiveReasoning(FirstPred, Ops[i], Ops[i + 1])) { 3647 Ops.erase(Ops.begin() + i + 1, Ops.begin() + i + 2); 3647 Ops.erase(Ops.begin() + i + 1, Ops.begin() + i + 2); 3648 --i; 3650 } else if (isKnownViaNonRecursiveReasoning(SecondPred, Ops[i], 3651 Ops[i + 1])) { 3653 Ops.erase(Ops.begin() + i, Ops.begin() + i + 1); 3653 Ops.erase(Ops.begin() + i, Ops.begin() + i + 1); 3654 --i;