/external/clang/lib/StaticAnalyzer/Core/ |
D | SimpleSValBuilder.cpp | 244 case BO_Sub: in MakeSymIntVal() 325 case BO_Sub: in evalBinOpNN() 501 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN() 593 if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub)) in evalBinOpLL() 601 case BO_Sub: in evalBinOpLL() 624 case BO_Sub: in evalBinOpLL() 704 if (op == BO_Sub) in evalBinOpLL() 889 case BO_Sub: in evalBinOpLN() 907 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
|
D | SimpleConstraintManager.cpp | 166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in assumeAux() 197 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment() 204 if (Op == BO_Sub) in computeAdjustment()
|
D | BasicValueFactory.cpp | 165 case BO_Sub: in evalAPSInt()
|
D | SVals.cpp | 225 assert(BinaryOperator::isComparisonOp(Op) || Op == BO_Sub); in evalBinOp()
|
D | ExprEngineC.cpp | 113 case BO_SubAssign: Op = BO_Sub; break; in VisitBinaryOperator() 921 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
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 | 114 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 | 376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess() 567 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow() 572 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow() 1451 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
|
/external/clang/include/clang/AST/ |
D | OperationKinds.h | 311 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
|
D | StmtVisitor.h | 52 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
|
D | Expr.h | 2991 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
|
/external/clang/lib/AST/ |
D | ExprConstant.cpp | 1658 case BO_Sub: in handleIntIntBinOp() 1755 case BO_Sub: in handleFloatFloatBinOp() 2841 (Opcode != BO_Add && Opcode != BO_Sub)) { in foundPointer() 2847 if (Opcode == BO_Sub) in foundPointer() 4804 E->getOpcode() != BO_Sub) in VisitBinaryOperator() 4821 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator() 6755 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp() 6941 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator() 6954 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() 7019 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator() [all …]
|
D | StmtProfile.cpp | 813 BinaryOp = BO_Sub; in DecodeOperatorCall()
|
D | Expr.cpp | 1789 case BO_Sub: return "-"; in getOpcodeStr() 1825 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
|
/external/clang/lib/CodeGen/ |
D | CGExprScalar.cpp | 953 case BO_Sub: CheckName = "sub_overflow"; break; in EmitBinOpCheck() 1725 BinOp.Opcode = isInc ? BO_Add : BO_Sub; in EmitScalarPrePostIncDec() 1881 BinOp.Opcode = BO_Sub; in VisitUnaryMinus() 2325 case BO_Sub: in EmitOverflowCheckedBinOp() 2548 op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && in tryEmitFMulAdd() 3543 case BO_Sub: in EmitCompoundAssignmentLValue()
|
D | CGStmtOpenMP.cpp | 1493 case BO_Sub: in emitOMPAtomicRMW()
|
/external/clang/lib/Sema/ |
D | SemaOpenMP.cpp | 2321 Diff = SemaRef.BuildBinOp(S, DefaultLoc, BO_Sub, Upper, Lower); in BuildNumIterations() 2338 S, DefaultLoc, BO_Sub, Diff.get(), in BuildNumIterations() 2585 Update = SemaRef.BuildBinOp(S, Loc, (Subtract ? BO_Sub : BO_Add), in BuildCounterUpdate() 2733 CurScope, SourceLocation(), BO_Sub, LastIteration.get(), in CheckOpenMPLoop() 3477 Op = AtomicUnaryOp->isIncrementOp() ? BO_Add : BO_Sub; in checkStatement() 5561 case BO_Sub: in ActOnOpenMPReductionClause()
|
D | SemaPseudoObject.cpp | 487 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.get(), one); in buildIncDecOperation()
|
D | SemaChecking.cpp | 5059 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments() 5267 if (op != BO_Add && op != BO_Sub) in EvalAddr() 5863 case BO_Sub: in GetExprRange()
|
D | SemaExpr.cpp | 9836 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode() 10053 case BO_Sub: in CreateBuiltinBinOp() 10303 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
|
/external/clang/lib/Analysis/ |
D | ThreadSafetyCommon.cpp | 515 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx); in translateBinaryOperator()
|