Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp244 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()
DSimpleConstraintManager.cpp166 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()
DBasicValueFactory.cpp165 case BO_Sub: in evalAPSInt()
DSVals.cpp225 assert(BinaryOperator::isComparisonOp(Op) || Op == BO_Sub); in evalBinOp()
DExprEngineC.cpp113 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/
DPointerArithChecker.cpp36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
DPointerSubChecker.cpp39 if (B->getOpcode() != BO_Sub) in checkPreStmt()
DCStringSyntaxChecker.cpp114 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.cpp376 .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/
DOperationKinds.h311 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
DStmtVisitor.h52 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
DExpr.h2991 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
/external/clang/lib/AST/
DExprConstant.cpp1658 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 …]
DStmtProfile.cpp813 BinaryOp = BO_Sub; in DecodeOperatorCall()
DExpr.cpp1789 case BO_Sub: return "-"; in getOpcodeStr()
1825 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
/external/clang/lib/CodeGen/
DCGExprScalar.cpp953 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()
DCGStmtOpenMP.cpp1493 case BO_Sub: in emitOMPAtomicRMW()
/external/clang/lib/Sema/
DSemaOpenMP.cpp2321 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()
DSemaPseudoObject.cpp487 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.get(), one); in buildIncDecOperation()
DSemaChecking.cpp5059 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments()
5267 if (op != BO_Add && op != BO_Sub) in EvalAddr()
5863 case BO_Sub: in GetExprRange()
DSemaExpr.cpp9836 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/
DThreadSafetyCommon.cpp515 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx); in translateBinaryOperator()