Home
last modified time | relevance | path

Searched refs:BO_Add (Results 1 – 24 of 24) sorted by relevance

/minix3/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
H A DMallocOverflowSecurityChecker.cpp78 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
85 else if ((opc == BO_Add || opc == BO_Mul) in CheckMallocArgument()
H A DCStringChecker.cpp383 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
403 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
499 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
977 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
1420 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()
1528 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, in evalStrcpyCommon()
1589 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1600 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
H A DArrayBoundCheckerV2.cpp248 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(), in addValue()
/minix3/external/bsd/llvm/dist/clang/include/clang/AST/
H A DOperationKinds.h311 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
H A DStmtVisitor.h51 case BO_Add: DISPATCH(BinAdd, BinaryOperator); in Visit()
H A DExpr.h2999 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
/minix3/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp243 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()
H A DSimpleConstraintManager.cpp197 if (Op == BO_Add || Op == BO_Sub) { in computeAdjustment()
H A DBasicValueFactory.cpp162 case BO_Add: in evalAPSInt()
H A DProgramState.cpp326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBound()
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
H A DExprEngineC.cpp112 case BO_AddAssign: Op = BO_Add; break; in VisitBinaryOperator()
921 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
H A DSValBuilder.cpp352 assert(op == BO_Add); in evalBinOp()
/minix3/external/bsd/llvm/dist/clang/lib/CodeGen/
H A DCGExprScalar.cpp924 case BO_Add: CheckName = "add_overflow"; break; in EmitBinOpCheck()
1590 BinOp.Opcode = BO_Add; in EmitAddConsiderOverflowBehavior()
1686 BinOp.Opcode = isInc ? BO_Add : BO_Sub; in EmitScalarPrePostIncDec()
2270 case BO_Add: in EmitOverflowCheckedBinOp()
2498 assert((op.Opcode == BO_Add || op.Opcode == BO_AddAssign || in tryEmitFMulAdd()
3488 case BO_Add: in EmitCompoundAssignmentLValue()
/minix3/external/bsd/llvm/dist/clang/lib/Sema/
H A DSemaOpenMP.cpp2179 bool IsAdd = BO->getOpcode() == BO_Add; in CheckIncRHS()
2302 Diff = SemaRef.BuildBinOp(S, DefaultLoc, BO_Add, Diff.get(), in BuildNumIterations()
2543 Update = SemaRef.BuildBinOp(S, Loc, (Subtract ? BO_Sub : BO_Add), in BuildCounterUpdate()
2716 CurScope, SaveLoc, BO_Add, SaveRef.get(), in CheckOpenMPLoop()
2801 SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, IV.get(), in CheckOpenMPLoop()
2815 NextLB = SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, LB.get(), ST.get()); in CheckOpenMPLoop()
2825 NextUB = SemaRef.BuildBinOp(CurScope, IncLoc, BO_Add, UB.get(), ST.get()); in CheckOpenMPLoop()
H A DSemaTemplateVariadic.cpp1015 case BO_Add: in BuildEmptyCXXFoldExpr()
H A DSemaPseudoObject.cpp485 result = S.BuildBinOp(Sc, opcLoc, BO_Add, result.get(), one); in buildIncDecOperation()
H A DSemaExpr.cpp7396 if (Opc == BO_Add) { in CheckAdditionOperands()
9328 case tok::plus: Opc = BO_Add; break; in ConvertTokenKindToBinaryOpcode()
9543 case BO_Add: in CreateBuiltinBinOp()
9796 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
H A DSemaChecking.cpp5036 if (op != BO_Add && op != BO_Sub) in EvalAddr()
5675 case BO_Add: in GetExprRange()
/minix3/external/bsd/llvm/dist/clang/lib/AST/
H A DExprConstant.cpp1654 case BO_Add: in handleIntIntBinOp()
1752 case BO_Add: in handleFloatFloatBinOp()
2840 (Opcode != BO_Add && Opcode != BO_Sub)) { in foundPointer()
4802 if (E->getOpcode() != BO_Add && in VisitBinaryOperator()
6738 if (E->getOpcode() == BO_Add) in VisitBinOp()
6746 if (E->getOpcode() == BO_Add && in VisitBinOp()
7998 case BO_Add: in VisitBinaryOperator()
8853 case BO_Add: in CheckICE()
H A DStmtProfile.cpp758 BinaryOp = BO_Add; in DecodeOperatorCall()
H A DExpr.cpp1776 case BO_Add: return "+"; in getOpcodeStr()
1812 case OO_Plus: return BO_Add; in getOverloadedOpcode()
/minix3/external/bsd/llvm/dist/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp525 case BO_Add: return translateBinOp(til::BOP_Add, BO, Ctx); in translateBinaryOperator()
/minix3/external/bsd/llvm/dist/clang/lib/Frontend/Rewrite/
H A DRewriteModernObjC.cpp7656 new (Context) BinaryOperator(castExpr, DRE, BO_Add, in RewriteObjCIvarRefExpr()