Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp53 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()); in getDynamicElementCount()
76 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, in getDynamicExtentWithOffset()
H A DExprEngineC.cpp99 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
157 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
733 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
1048 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1054 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, in VisitUnaryOperator()
1130 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
H A DCheckerContext.cpp138 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
H A DSimpleSValBuilder.cpp1291 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1305 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1328 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
H A DSValBuilder.cpp484 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder
540 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
H A DExprEngineCallAndReturn.cpp762 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
H A DExprEngine.cpp262 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp130 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
152 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
H A DIterator.cpp251 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
H A DContainerModeling.cpp437 SVB.evalBinOp(State, BO_Add, in handlePushBack()
466 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
511 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
548 SVB.evalBinOp(State, BO_Add, in handlePopFront()
673 SVB.evalBinOp(State, BO_Add, in handleEraseAfter()
H A DVLASizeChecker.cpp194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize()
H A DCheckPlacementNew.cpp85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
H A DCStringChecker.cpp1169 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1254 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1715 svalBuilder.evalBinOp(state, BO_Sub, freeSpace, in evalStrcpyCommon()
1789 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
2124 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
H A DStdLibraryFunctionsChecker.cpp354 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
363 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
446 SVB.evalBinOp(State, Op, ErrnoSVal, ZeroVal, SVB.getConditionType()) in apply()
957 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT) in apply()
H A DIteratorModeling.cpp799 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
H A DSmartPtrModeling.cpp496 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
H A DBasicObjCFoundationChecks.cpp927 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
H A DMallocChecker.cpp1222 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h615 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
617 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
H A DSValBuilder.h125 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,