Lines Matching refs:BinaryOperator

72   SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
74   SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
76   SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
96   SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
129                                     BinaryOperator::Opcode op,
197   if (BinaryOperator::isComparisonOp(op)) {
216   } else if (BinaryOperator::isAdditiveOp(op) && RHS.isNegative()) {
234 static bool isInRelation(BinaryOperator::Opcode Rel, SymbolRef Sym,
280     if (BinaryOperator::isAdditiveOp(SymInt->getOpcode()))
294                                    BinaryOperator::Opcode Op,
310   if (BinaryOperator::isComparisonOp(Op))
312   else if (BinaryOperator::isAdditiveOp(Op))
324   BinaryOperator::Opcode ResultOp;
326   if (BinaryOperator::isComparisonOp(Op)) {
332       ResultOp = BinaryOperator::reverseComparisonOp(Op);
360 static bool shouldRearrange(ProgramStateRef State, BinaryOperator::Opcode Op,
363     (!BinaryOperator::isComparisonOp(Op) ||
369                                           BinaryOperator::Opcode Op, NonLoc Lhs,
387   if (BinaryOperator::isComparisonOp(Op)) {
392   } else if (BinaryOperator::isAdditiveOp(Op)) {
424                                   BinaryOperator::Opcode op,
488         if (!BinaryOperator::isComparisonOp(op))
496         if (!BinaryOperator::isComparisonOp(op))
532         if (BinaryOperator::isComparisonOp(op)) {
540         } else if (!BinaryOperator::isShiftOp(op)) {
576         op = BinaryOperator::reverseComparisonOp(op);
619           BinaryOperator::Opcode opc = symIntExpr->getOpcode();
656             opc = BinaryOperator::negateComparisonOp(opc);
666           if (BinaryOperator::isAdditiveOp(op)) {
667             BinaryOperator::Opcode lop = symIntExpr->getOpcode();
668             if (BinaryOperator::isAdditiveOp(lop)) {
725                                             BinaryOperator::Opcode op,
729   if (!BinaryOperator::isComparisonOp(op))
792                                   BinaryOperator::Opcode op,
809   if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub))
868       if (!BinaryOperator::isComparisonOp(op))
871       op = BinaryOperator::reverseComparisonOp(op);
877       assert(BinaryOperator::isComparisonOp(op) || op == BO_Sub);
914         if (BinaryOperator::isComparisonOp(op))
926         if (BinaryOperator::isComparisonOp(op)) {
1083                                     BinaryOperator::Opcode op, Loc lhs,
1111   assert(!BinaryOperator::isComparisonOp(op) &&
1339           BinaryOperator::isComparisonOp(S->getOpcode())) {