66   SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
68   SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
70   SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
80   SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
113                                     BinaryOperator::Opcode op,  in MakeSymIntVal()
182   if (BinaryOperator::isComparisonOp(op)) {  in MakeSymIntVal()
201   } else if (BinaryOperator::isAdditiveOp(op) && RHS.isNegative()) {  in MakeSymIntVal()
219 static bool isInRelation(BinaryOperator::Opcode Rel, SymbolRef Sym,  in isInRelation()
264     if (BinaryOperator::isAdditiveOp(SymInt->getOpcode()))  in decomposeSymbol()
278                                    BinaryOperator::Opcode Op,  in doRearrangeUnchecked()
294   if (BinaryOperator::isComparisonOp(Op))  in doRearrangeUnchecked()
296   else if (BinaryOperator::isAdditiveOp(Op))  in doRearrangeUnchecked()
307   BinaryOperator::Opcode ResultOp;  in doRearrangeUnchecked()
309   if (BinaryOperator::isComparisonOp(Op)) {  in doRearrangeUnchecked()
315       ResultOp = BinaryOperator::reverseComparisonOp(Op);  in doRearrangeUnchecked()
343 static bool shouldRearrange(ProgramStateRef State, BinaryOperator::Opcode Op,  in shouldRearrange()
346     (!BinaryOperator::isComparisonOp(Op) ||  in shouldRearrange()
352                                      BinaryOperator::Opcode Op, NonLoc Lhs,  in tryRearrange()
370   if (BinaryOperator::isComparisonOp(Op)) {  in tryRearrange()
375   } else if (BinaryOperator::isAdditiveOp(Op)) {  in tryRearrange()
407                                   BinaryOperator::Opcode op,  in evalBinOpNN()
471           if (!BinaryOperator::isComparisonOp(op))  in evalBinOpNN()
479           if (!BinaryOperator::isComparisonOp(op))  in evalBinOpNN()
515         if (BinaryOperator::isComparisonOp(op)) {  in evalBinOpNN()
523         } else if (!BinaryOperator::isShiftOp(op)) {  in evalBinOpNN()
546         op = BinaryOperator::reverseComparisonOp(op);  in evalBinOpNN()
589           BinaryOperator::Opcode opc = symIntExpr->getOpcode();  in evalBinOpNN()
626             opc = BinaryOperator::negateComparisonOp(opc);  in evalBinOpNN()
636           if (BinaryOperator::isAdditiveOp(op)) {  in evalBinOpNN()
637             BinaryOperator::Opcode lop = symIntExpr->getOpcode();  in evalBinOpNN()
638             if (BinaryOperator::isAdditiveOp(lop)) {  in evalBinOpNN()
695                                             BinaryOperator::Opcode op,  in evalBinOpFieldRegionFieldRegion()
699   if (!BinaryOperator::isComparisonOp(op))  in evalBinOpFieldRegionFieldRegion()
763                                   BinaryOperator::Opcode op,  in evalBinOpLL()
780   if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub))  in evalBinOpLL()
838       if (!BinaryOperator::isComparisonOp(op) || op == BO_Cmp)  in evalBinOpLL()
841       op = BinaryOperator::reverseComparisonOp(op);  in evalBinOpLL()
847       assert(BinaryOperator::isComparisonOp(op) || op == BO_Sub);  in evalBinOpLL()
884         if (BinaryOperator::isComparisonOp(op))  in evalBinOpLL()
896         if (BinaryOperator::isComparisonOp(op)) {  in evalBinOpLL()
1053                                     BinaryOperator::Opcode op, Loc lhs,  in evalBinOpLN()
1081   assert(!BinaryOperator::isComparisonOp(op) &&  in evalBinOpLN()
1277           BinaryOperator::isComparisonOp(S->getOpcode())) {  in simplifySValOnce()