StaticAnalyzer/Core/SimpleSValBuilder.cpp

33   SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
35   SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
37   SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
48   SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
86                                     BinaryOperator::Opcode op,
155   if (BinaryOperator::isComparisonOp(op)) {
181 static bool isInRelation(BinaryOperator::Opcode Rel, SymbolRef Sym,
226     if (BinaryOperator::isAdditiveOp(SymInt->getOpcode()))
240                                    BinaryOperator::Opcode Op,
256   if (BinaryOperator::isComparisonOp(Op))
258   else if (BinaryOperator::isAdditiveOp(Op))
270   BinaryOperator::Opcode ResultOp;
272   if (BinaryOperator::isComparisonOp(Op)) {
278       ResultOp = BinaryOperator::reverseComparisonOp(Op);
306 static bool shouldRearrange(ProgramStateRef State, BinaryOperator::Opcode Op,
309     (!BinaryOperator::isComparisonOp(Op) ||
315                                      BinaryOperator::Opcode Op, NonLoc Lhs,
336   if (BinaryOperator::isComparisonOp(Op)) {
341   } else if (BinaryOperator::isAdditiveOp(Op)) {
373                                   BinaryOperator::Opcode op,
428           if (!BinaryOperator::isComparisonOp(op))
436           if (!BinaryOperator::isComparisonOp(op))
472         if (BinaryOperator::isComparisonOp(op)) {
480         } else if (!BinaryOperator::isShiftOp(op)) {
503         op = BinaryOperator::reverseComparisonOp(op);
546           BinaryOperator::Opcode opc = symIntExpr->getOpcode();
583             opc = BinaryOperator::negateComparisonOp(opc);
593           if (BinaryOperator::isAdditiveOp(op)) {
594             BinaryOperator::Opcode lop = symIntExpr->getOpcode();
595             if (BinaryOperator::isAdditiveOp(lop)) {
652                                             BinaryOperator::Opcode op,
656   if (!BinaryOperator::isComparisonOp(op))
698                                   BinaryOperator::Opcode op,
707   if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub))
763       if (!BinaryOperator::isComparisonOp(op) || op == BO_Cmp)
767       op = BinaryOperator::reverseComparisonOp(op);
811         if (BinaryOperator::isComparisonOp(op))
823         if (BinaryOperator::isComparisonOp(op)) {
980                                     BinaryOperator::Opcode op, Loc lhs,
1008   assert(!BinaryOperator::isComparisonOp(op) &&
1173           BinaryOperator::isComparisonOp(S->getOpcode())) {