| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleSValBuilder.cpp | 243 case BO_Add: in MakeSymIntVal()
404 case BO_Add: in evalBinOpNN()
499 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN()
886 case BO_Add: in evalBinOpLN()
907 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
914 assert(op == BO_Add || op == BO_Sub); in evalBinOpLN()
915 index = (op == BO_Add) ? rhs : evalMinus(rhs); in evalBinOpLN()
|
| D | BasicValueFactory.cpp | 166 case BO_Add: in evalAPSInt()
|
| D | SimpleConstraintManager.cpp | 233 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment()
|
| D | ProgramState.cpp | 326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBound()
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
|
| D | ExprEngineC.cpp | 112 case BO_AddAssign: Op = BO_Add; break; in VisitBinaryOperator()
944 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
|
| D | SValBuilder.cpp | 380 assert(op == BO_Add); in evalBinOp()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | PointerArithChecker.cpp | 36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
|
| D | MallocOverflowSecurityChecker.cpp | 87 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
97 } else if ((opc == BO_Add || opc == BO_Mul) && in CheckMallocArgument()
|
| D | CStringChecker.cpp | 392 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
412 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
508 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
861 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()
1058 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1501 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()
1609 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, in evalStrcpyCommon()
1670 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1681 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
|
| D | ArrayBoundCheckerV2.cpp | 249 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(), in addValue()
|
| /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_Add: DISPATCH(BinAdd, BinaryOperator); in Visit()
|
| D | Expr.h | 3041 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
|
| /external/clang/lib/Sema/ |
| D | SemaOpenMP.cpp | 3026 bool IsAdd = BO->getOpcode() == BO_Add; in CheckIncRHS()
3224 Diff = SemaRef.BuildBinOp(S, DefaultLoc, BO_Add, Diff.get(), NewStep.get()); in BuildNumIterations()
3594 Update = SemaRef.BuildBinOp(S, Loc, (Subtract ? BO_Sub : BO_Add), in BuildCounterUpdate()
3810 CurScope, SaveLoc, BO_Add, SaveRef.get(), in CheckOpenMPLoop()
3891 SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, IV.get(), in CheckOpenMPLoop()
3906 NextLB = SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, LB.get(), ST.get()); in CheckOpenMPLoop()
3916 NextUB = SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, UB.get(), ST.get()); in CheckOpenMPLoop()
4820 Op = AtomicUnaryOp->isIncrementOp() ? BO_Add : BO_Sub; in checkStatement()
6982 BOK = BO_Add; in ActOnOpenMPReductionClause()
7295 case BO_Add: in ActOnOpenMPReductionClause()
[all …]
|
| D | SemaTemplateVariadic.cpp | 1011 case BO_Add: in BuildEmptyCXXFoldExpr()
|
| D | SemaPseudoObject.cpp | 512 result = S.BuildBinOp(Sc, opcLoc, BO_Add, result.get(), one); in buildIncDecOperation()
|
| D | SemaExpr.cpp | 7934 if (Opc == BO_Add) { in CheckAdditionOperands()
10113 case tok::plus: Opc = BO_Add; break; in ConvertTokenKindToBinaryOpcode()
10342 case BO_Add: in CreateBuiltinBinOp()
10589 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
|
| D | SemaChecking.cpp | 5753 if (op != BO_Add && op != BO_Sub) in EvalAddr()
6398 case BO_Add: in GetExprRange()
|
| /external/clang/lib/CodeGen/ |
| D | CGExprScalar.cpp | 959 case BO_Add: CheckName = "add_overflow"; break; in EmitBinOpCheck()
1619 BinOp.Opcode = IsInc ? BO_Add : BO_Sub; in createBinOpInfoFromIncDec()
2327 case BO_Add: in EmitOverflowCheckedBinOp()
2554 assert((op.Opcode == BO_Add || op.Opcode == BO_AddAssign || in tryEmitFMulAdd()
3534 case BO_Add: in EmitCompoundAssignmentLValue()
|
| D | CGStmtOpenMP.cpp | 2217 case BO_Add: in emitOMPAtomicRMW()
|
| /external/clang/lib/AST/ |
| D | ExprConstant.cpp | 1736 case BO_Add: in handleIntIntBinOp()
1834 case BO_Add: in handleFloatFloatBinOp()
2926 (Opcode != BO_Add && Opcode != BO_Sub)) { in foundPointer()
4925 if (E->getOpcode() != BO_Add && in VisitBinaryOperator()
7090 if (E->getOpcode() == BO_Add) in VisitBinOp()
7098 if (E->getOpcode() == BO_Add && in VisitBinOp()
8375 case BO_Add: in VisitBinaryOperator()
9246 case BO_Add: in CheckICE()
|
| D | StmtProfile.cpp | 906 BinaryOp = BO_Add; in DecodeOperatorCall()
|
| D | Expr.cpp | 1825 case BO_Add: return "+"; in getOpcodeStr()
1861 case OO_Plus: return BO_Add; in getOverloadedOpcode()
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafetyCommon.cpp | 501 case BO_Add: return translateBinOp(til::BOP_Add, BO, Ctx); in translateBinaryOperator()
|
| /external/clang/lib/Frontend/Rewrite/ |
| D | RewriteModernObjC.cpp | 7624 new (Context) BinaryOperator(castExpr, DRE, BO_Add, in RewriteObjCIvarRefExpr()
|