/external/clang/lib/StaticAnalyzer/Core/ |
D | SimpleSValBuilder.cpp | 239 case BO_Sub: in MakeSymIntVal() 320 case BO_Sub: in evalBinOpNN() 492 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN() 539 if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub)) in evalBinOpLL() 547 case BO_Sub: in evalBinOpLL() 570 case BO_Sub: in evalBinOpLL() 651 case BO_Sub: in evalBinOpLL() 895 case BO_Sub: in evalBinOpLN() 913 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
|
D | SimpleConstraintManager.cpp | 220 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment() 227 if (Op == BO_Sub) in computeAdjustment()
|
D | SVals.cpp | 217 assert (Op == BO_Add || Op == BO_Sub || in evalBinOp()
|
D | BasicValueFactory.cpp | 165 case BO_Sub: in evalAPSInt()
|
D | ExprEngineC.cpp | 103 case BO_SubAssign: Op = BO_Sub; break; in VisitBinaryOperator() 852 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
|
D | SymbolManager.cpp | 38 case BO_Sub: os << '-' ; break; in print()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | IdempotentOperationChecker.cpp | 212 case BO_Sub: in checkPreStmt() 275 case BO_Sub: in checkPreStmt() 306 case BO_Sub: in checkPreStmt() 676 if (B->getOpcode() == BO_Sub || B->getOpcode() == BO_Add) in CanVary()
|
D | PointerArithChecker.cpp | 36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
|
D | PointerSubChecker.cpp | 39 if (B->getOpcode() != BO_Sub) in checkPreStmt()
|
D | CStringSyntaxChecker.cpp | 113 if (BE->getOpcode() == BO_Sub) { in containsBadStrncatPattern()
|
D | MallocOverflowSecurityChecker.cpp | 78 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
|
D | CStringChecker.cpp | 378 NonLoc LastOffset = cast<NonLoc>(svalBuilder.evalBinOpNN(state, BO_Sub, in CheckBufferAccess() 571 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow() 576 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow() 1420 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
|
/external/clang/include/clang/AST/ |
D | OperationKinds.h | 305 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
|
D | StmtVisitor.h | 51 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
|
D | Expr.h | 2845 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
|
/external/clang/lib/AST/ |
D | StmtProfile.cpp | 529 BinaryOp = BO_Sub; in DecodeOperatorCall() 538 BinaryOp = BO_Sub; in DecodeOperatorCall()
|
D | ExprConstant.cpp | 3026 E->getOpcode() != BO_Sub) in VisitBinaryOperator() 3044 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator() 4647 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp() 4687 case BO_Sub: in VisitBinOp() 4895 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator() 4908 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() 4961 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() 5677 case BO_Sub: in VisitBinaryOperator() 5965 case BO_Sub: in VisitBinaryOperator() 6623 case BO_Sub: in CheckICE()
|
D | Expr.cpp | 1581 case BO_Sub: return "-"; in getOpcodeStr() 1617 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
|
/external/clang/lib/CodeGen/ |
D | CGExprScalar.cpp | 1448 BinOp.Opcode = BO_Sub; in VisitUnaryMinus() 1827 case BO_Sub: in EmitOverflowCheckedBinOp() 2835 case BO_Sub: in EmitCompoundAssignmentLValue()
|
/external/clang/lib/Sema/ |
D | SemaPseudoObject.cpp | 416 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.take(), one); in buildIncDecOperation()
|
D | SemaChecking.cpp | 3368 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments() 3572 if (op != BO_Add && op != BO_Sub) in EvalAddr() 4102 case BO_Sub: in GetExprRange()
|
D | SemaExpr.cpp | 8129 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode() 8272 case BO_Sub: in CreateBuiltinBinOp()
|