Home
last modified time | relevance | path

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

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDSimpleSValBuilder.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()
HDSimpleConstraintManager.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()
HDBasicValueFactory.cpp169 case BO_Sub: in evalAPSInt()
HDSVals.cpp225 assert(BinaryOperator::isComparisonOp(Op) || Op == BO_Sub); in evalBinOp()
HDExprEngineC.cpp113 case BO_SubAssign: Op = BO_Sub; break; in VisitBinaryOperator()
921 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; in VisitIncrementDecrementOperator()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDPointerArithChecker.cpp36 if (B->getOpcode() != BO_Sub && B->getOpcode() != BO_Add) in checkPreStmt()
HDPointerSubChecker.cpp39 if (B->getOpcode() != BO_Sub) in checkPreStmt()
HDCStringSyntaxChecker.cpp114 if (BE->getOpcode() == BO_Sub) { in containsBadStrncatPattern()
HDMallocOverflowSecurityChecker.cpp78 if (opc != BO_Mul && opc != BO_Add && opc != BO_Sub && opc != BO_Shl) in CheckMallocArgument()
HDCStringChecker.cpp376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
566 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
571 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
1449 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
/NextBSD/contrib/llvm/tools/clang/include/clang/AST/
HDOperationKinds.h311 BO_Add, BO_Sub, // [C99 6.5.6] Additive operators. enumerator
HDStmtVisitor.h52 case BO_Sub: DISPATCH(BinSub, BinaryOperator); in Visit()
HDExpr.h2993 static bool isAdditiveOp(Opcode Opc) { return Opc == BO_Add || Opc==BO_Sub; } in isAdditiveOp()
/NextBSD/contrib/llvm/tools/clang/lib/AST/
HDExprConstant.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()
4808 E->getOpcode() != BO_Sub) in VisitBinaryOperator()
4825 if (E->getOpcode() == BO_Sub) in VisitBinaryOperator()
6759 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp()
6945 if (E->getOpcode() == BO_Sub || E->isComparisonOp()) { in VisitBinaryOperator()
6958 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
7023 if (E->getOpcode() == BO_Sub) { in VisitBinaryOperator()
[all …]
HDStmtProfile.cpp845 BinaryOp = BO_Sub; in DecodeOperatorCall()
HDExpr.cpp1789 case BO_Sub: return "-"; in getOpcodeStr()
1825 case OO_Minus: return BO_Sub; in getOverloadedOpcode()
/NextBSD/contrib/llvm/tools/clang/lib/CodeGen/
HDCGExprScalar.cpp953 case BO_Sub: CheckName = "sub_overflow"; break; in EmitBinOpCheck()
1634 BinOp.Opcode = IsInc ? BO_Add : BO_Sub; in createBinOpInfoFromIncDec()
1895 BinOp.Opcode = BO_Sub; in VisitUnaryMinus()
2346 case BO_Sub: in EmitOverflowCheckedBinOp()
2568 op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && in tryEmitFMulAdd()
3561 case BO_Sub: in EmitCompoundAssignmentLValue()
HDCGStmtOpenMP.cpp1783 case BO_Sub: in emitOMPAtomicRMW()
/NextBSD/contrib/llvm/tools/clang/lib/Sema/
HDSemaOpenMP.cpp2681 Diff = SemaRef.BuildBinOp(S, DefaultLoc, BO_Sub, Upper, Lower); in BuildNumIterations()
2698 S, DefaultLoc, BO_Sub, Diff.get(), in BuildNumIterations()
3048 Update = SemaRef.BuildBinOp(S, Loc, (Subtract ? BO_Sub : BO_Add), in BuildCounterUpdate()
3221 CurScope, SourceLocation(), BO_Sub, LastIteration.get(), in CheckOpenMPLoop()
3997 Op = AtomicUnaryOp->isIncrementOp() ? BO_Add : BO_Sub; in checkStatement()
6150 case BO_Sub: in ActOnOpenMPReductionClause()
HDSemaPseudoObject.cpp487 result = S.BuildBinOp(Sc, opcLoc, BO_Sub, result.get(), one); in buildIncDecOperation()
HDSemaChecking.cpp5367 if (BE->getOpcode() == BO_Sub) { in CheckStrncatArguments()
5575 if (op != BO_Add && op != BO_Sub) in EvalAddr()
6172 case BO_Sub: in GetExprRange()
HDSemaExpr.cpp9937 case tok::minus: Opc = BO_Sub; break; in ConvertTokenKindToBinaryOpcode()
10154 case BO_Sub: in CreateBuiltinBinOp()
10404 if (Bop->getOpcode() == BO_Add || Bop->getOpcode() == BO_Sub) { in DiagnoseAdditionInShift()
/NextBSD/contrib/llvm/tools/clang/lib/Analysis/
HDThreadSafetyCommon.cpp515 case BO_Sub: return translateBinOp(til::BOP_Sub, BO, Ctx); in translateBinaryOperator()