/external/clang/lib/StaticAnalyzer/Core/ |
D | SimpleSValBuilder.cpp | 245 case BO_Sub: in MakeSymIntVal() 326 case BO_Sub: in evalBinOpNN() 498 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN() 545 if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub)) in evalBinOpLL() 553 case BO_Sub: in evalBinOpLL() 576 case BO_Sub: in evalBinOpLL() 657 case BO_Sub: in evalBinOpLL() 902 case BO_Sub: in evalBinOpLN() 920 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
|
D | SimpleConstraintManager.cpp | 221 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment() 228 if (Op == BO_Sub) in computeAdjustment()
|
D | BasicValueFactory.cpp | 165 case BO_Sub: in evalAPSInt()
|
D | SVals.cpp | 217 assert (Op == BO_Add || Op == BO_Sub || in evalBinOp()
|
D | ExprEngineC.cpp | 104 case BO_SubAssign: Op = BO_Sub; break; in VisitBinaryOperator() 882 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | IdempotentOperationChecker.cpp | 213 case BO_Sub: in checkPreStmt() 276 case BO_Sub: in checkPreStmt() 307 case BO_Sub: in checkPreStmt() 674 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 | 112 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 | 369 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess() 559 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow() 564 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow() 1399 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
|
/external/clang/include/clang/AST/ |
D | OperationKinds.h | 308 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 | 2946 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 | 3029 E->getOpcode() != BO_Sub) in VisitBinaryOperator() 3047 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator() 4665 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp() 4705 case BO_Sub: in VisitBinOp() 4923 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator() 4936 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() 4989 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() 5706 case BO_Sub: in VisitBinaryOperator() 5995 case BO_Sub: in VisitBinaryOperator() 6679 case BO_Sub: in CheckICE()
|
D | Expr.cpp | 1675 case BO_Sub: return "-"; in getOpcodeStr() 1711 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
|
/external/clang/lib/CodeGen/ |
D | CGExprScalar.cpp | 834 case BO_Sub: CheckName = "sub_overflow"; break; in EmitBinOpCheck() 1531 BinOp.Opcode = isInc ? BO_Add : BO_Sub; in EmitScalarPrePostIncDec() 1670 BinOp.Opcode = BO_Sub; in VisitUnaryMinus() 2109 case BO_Sub: in EmitOverflowCheckedBinOp() 2328 op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && in tryEmitFMulAdd() 3258 case BO_Sub: in EmitCompoundAssignmentLValue()
|
/external/clang/lib/Sema/ |
D | SemaPseudoObject.cpp | 428 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.take(), one); in buildIncDecOperation()
|
D | SemaChecking.cpp | 3493 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments() 3697 if (op != BO_Add && op != BO_Sub) in EvalAddr() 4231 case BO_Sub: in GetExprRange()
|
D | SemaExpr.cpp | 8313 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode() 8456 case BO_Sub: in CreateBuiltinBinOp() 8686 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
|