Home
last modified time | relevance | path

Searched refs:evalBinOp (Results 1 – 25 of 25) sorted by relevance

/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDDynamicExtent.cpp66 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()) in getDynamicElementCount()
102 return SVB.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, ExtentInBytes, in getDynamicExtentWithOffset()
HDExprEngineC.cpp100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
156 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
727 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
1038 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1044 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, U->getType()); in VisitUnaryOperator()
1118 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
HDCheckerContext.cpp153 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
HDSimpleSValBuilder.cpp1350 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1364 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1387 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
HDSValBuilder.cpp493 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder
549 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
HDExprEngineCallAndReturn.cpp812 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
HDExprEngine.cpp270 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDPointerSubChecker.cpp79 auto IndexTooLarge = SVB.evalBinOp(C.getState(), BO_GT, ElemReg->getIndex(), in checkArrayBounds()
90 auto IndexTooSmall = SVB.evalBinOp(State, BO_LT, ElemReg->getIndex(), in checkArrayBounds()
HDSTLAlgorithmModeling.cpp151 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
173 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
HDIterator.cpp249 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
307 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
HDContainerModeling.cpp442 SVB.evalBinOp(State, BO_Add, in handlePushBack()
471 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
516 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
553 SVB.evalBinOp(State, BO_Add, in handlePopFront()
678 SVB.evalBinOp(State, BO_Add, in handleEraseAfter()
HDErrnoModeling.cpp249 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
HDCheckPlacementNew.cpp85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
HDVLASizeChecker.cpp188 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
HDBitwiseShiftChecker.cpp147 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
HDCStringChecker.cpp1416 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1505 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1978 svalBuilder.evalBinOp(state, BO_Sub, freeSpace, in evalStrcpyCommon()
2054 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
2406 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
HDUnixAPIChecker.cpp357 auto LineBufSizeGtN = SVB.evalBinOp(LinePtrNotNull, BO_GE, LineBufSize, in EnsureGetdelimBufferAndSizeCorrect()
HDIteratorModeling.cpp795 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
HDSmartPtrModeling.cpp498 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
HDBasicObjCFoundationChecks.cpp935 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
HDStdLibraryFunctionsChecker.cpp1148 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT) in apply()
1254 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
1263 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
HDStreamChecker.cpp1302 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
HDMallocChecker.cpp1137 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h601 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
603 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
HDSValBuilder.h137 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,