Home
last modified time | relevance | path

Searched refs:BO_Sub (Results 1 – 21 of 21) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp245 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()
DSimpleConstraintManager.cpp221 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment()
228 if (Op == BO_Sub) in computeAdjustment()
DBasicValueFactory.cpp165 case BO_Sub: in evalAPSInt()
DSVals.cpp217 assert (Op == BO_Add || Op == BO_Sub || in evalBinOp()
DExprEngineC.cpp104 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/
DIdempotentOperationChecker.cpp213 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()
DPointerArithChecker.cpp36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
DPointerSubChecker.cpp39 if (B->getOpcode() != BO_Sub) in checkPreStmt()
DCStringSyntaxChecker.cpp112 if (BE->getOpcode() == BO_Sub) { in containsBadStrncatPattern()
DMallocOverflowSecurityChecker.cpp78 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
DCStringChecker.cpp369 .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/
DOperationKinds.h308 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
DStmtVisitor.h51 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
DExpr.h2946 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
/external/clang/lib/AST/
DStmtProfile.cpp529 BinaryOp = BO_Sub; in DecodeOperatorCall()
538 BinaryOp = BO_Sub; in DecodeOperatorCall()
DExprConstant.cpp3029 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()
DExpr.cpp1675 case BO_Sub: return "-"; in getOpcodeStr()
1711 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
/external/clang/lib/CodeGen/
DCGExprScalar.cpp834 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/
DSemaPseudoObject.cpp428 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.take(), one); in buildIncDecOperation()
DSemaChecking.cpp3493 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments()
3697 if (op != BO_Add && op != BO_Sub) in EvalAddr()
4231 case BO_Sub: in GetExprRange()
DSemaExpr.cpp8313 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()