reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
35 if (BinaryOperator::isComparisonOp(op) && op != BO_Cmp) { 35 if (BinaryOperator::isComparisonOp(op) && op != BO_Cmp) { 37 op = BinaryOperator::negateComparisonOp(op); 37 op = BinaryOperator::negateComparisonOp(op); 39 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS());