| /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()
914 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
|
| D | SimpleConstraintManager.cpp | 166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in assumeAux()
233 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment()
240 if (Op == BO_Sub) in computeAdjustment()
|
| D | BasicValueFactory.cpp | 169 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()
944 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 | 87 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
|
| D | CStringChecker.cpp | 385 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
575 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
580 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
851 svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy) in IsFirstBufInBound()
1532 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 | 53 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
|
| D | Expr.h | 3041 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
|
| /external/clang/lib/AST/ |
| D | ExprConstant.cpp | 1739 case BO_Sub: in handleIntIntBinOp()
1837 case BO_Sub: in handleFloatFloatBinOp()
2926 (Opcode != BO_Add && Opcode != BO_Sub)) { in foundPointer()
2932 if (Opcode == BO_Sub) in foundPointer()
4926 E->getOpcode() != BO_Sub) in VisitBinaryOperator()
4943 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator()
7106 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp()
7292 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator()
7305 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
7369 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
[all …]
|
| D | StmtProfile.cpp | 915 BinaryOp = BO_Sub; in DecodeOperatorCall()
|
| D | Expr.cpp | 1826 case BO_Sub: return "-"; in getOpcodeStr()
1862 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
|
| /external/clang/lib/CodeGen/ |
| D | CGExprScalar.cpp | 960 case BO_Sub: CheckName = "sub_overflow"; break; in EmitBinOpCheck()
1619 BinOp.Opcode = IsInc ? BO_Add : BO_Sub; in createBinOpInfoFromIncDec()
1878 BinOp.Opcode = BO_Sub; in VisitUnaryMinus()
2333 case BO_Sub: in EmitOverflowCheckedBinOp()
2555 op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && in tryEmitFMulAdd()
3535 case BO_Sub: in EmitCompoundAssignmentLValue()
|
| D | CGStmtOpenMP.cpp | 2220 case BO_Sub: in emitOMPAtomicRMW()
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafetyCommon.cpp | 502 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx); in translateBinaryOperator()
|
| /external/clang/lib/Sema/ |
| D | SemaOpenMP.cpp | 3193 Diff = SemaRef.BuildBinOp(S, DefaultLoc, BO_Sub, Upper, Lower); in BuildNumIterations()
3210 S, DefaultLoc, BO_Sub, Diff.get(), in BuildNumIterations()
3594 Update = SemaRef.BuildBinOp(S, Loc, (Subtract ? BO_Sub : BO_Add), in BuildCounterUpdate()
3785 CurScope, SourceLocation(), BO_Sub, LastIteration.get(), in CheckOpenMPLoop()
4820 Op = AtomicUnaryOp->isIncrementOp() ? BO_Add : BO_Sub; in checkStatement()
7377 case BO_Sub: in ActOnOpenMPReductionClause()
|
| D | SemaPseudoObject.cpp | 514 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.get(), one); in buildIncDecOperation()
|
| D | SemaChecking.cpp | 5547 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments()
5753 if (op != BO_Add && op != BO_Sub) in EvalAddr()
6355 case BO_Sub: in GetExprRange()
|
| D | SemaExpr.cpp | 10114 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode()
10345 case BO_Sub: in CreateBuiltinBinOp()
10589 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
|