| /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()
1446 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 | 2987 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
|
| /external/clang/lib/AST/ |
| D | ExprConstant.cpp | 1641 case BO_Sub: in handleIntIntBinOp()
1738 case BO_Sub: in handleFloatFloatBinOp()
2755 (Opcode != BO_Add && Opcode != BO_Sub)) { in foundPointer()
2761 if (Opcode == BO_Sub) in foundPointer()
4691 E->getOpcode() != BO_Sub) in VisitBinaryOperator()
4708 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator()
6511 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp()
6681 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator()
6694 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
6747 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
[all …]
|
| D | StmtProfile.cpp | 675 BinaryOp = BO_Sub; in DecodeOperatorCall()
|
| D | Expr.cpp | 1739 case BO_Sub: return "-"; in getOpcodeStr()
1775 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
|
| /external/clang/lib/CodeGen/ |
| D | CGExprScalar.cpp | 872 case BO_Sub: CheckName = "sub_overflow"; break; in EmitBinOpCheck()
1631 BinOp.Opcode = isInc ? BO_Add : BO_Sub; in EmitScalarPrePostIncDec()
1772 BinOp.Opcode = BO_Sub; in VisitUnaryMinus()
2208 case BO_Sub: in EmitOverflowCheckedBinOp()
2427 op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && in tryEmitFMulAdd()
3377 case BO_Sub: in EmitCompoundAssignmentLValue()
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafetyCommon.cpp | 317 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx); in translateBinaryOperator()
|
| /external/clang/lib/Sema/ |
| D | SemaPseudoObject.cpp | 483 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.get(), one); in buildIncDecOperation()
|
| D | SemaChecking.cpp | 4361 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments()
4569 if (op != BO_Add && op != BO_Sub) in EvalAddr()
5161 case BO_Sub: in GetExprRange()
|
| D | SemaExpr.cpp | 9178 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode()
9364 case BO_Sub: in CreateBuiltinBinOp()
9614 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
|