Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp66 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()) in getDynamicElementCount()
102 return SVB.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, ExtentInBytes, in getDynamicExtentWithOffset()
H A DExprEngineC.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()
725 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
1036 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1042 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, U->getType()); in VisitUnaryOperator()
1116 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
H A DCheckerContext.cpp140 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
H A DSimpleSValBuilder.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()
H A DSValBuilder.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()
H A DExprEngineCallAndReturn.cpp812 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
H A DExprEngine.cpp270 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
/freebsd-14.2/contrib/llvm-project/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.cpp249 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
307 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 DStreamChecker.cpp837 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFgetx()
841 SVB.evalBinOp(State, BO_LE, RetVal, in evalFgetx()
929 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFputx()
974 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ACtx.IntTy), in evalFprintf()
1028 SVB.evalBinOp(StateNotFailed, BO_GE, RetVal, in evalFscanf()
1126 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()), in evalGetdelim()
1304 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(Call.getResultType()), in evalFtell()
H A DVLASizeChecker.cpp194 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
H A DErrnoModeling.cpp294 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
H A DCheckPlacementNew.cpp85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
H A DBitwiseShiftChecker.cpp147 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
H A DCStringChecker.cpp1271 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1357 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1830 svalBuilder.evalBinOp(state, BO_Sub, freeSpace, in evalStrcpyCommon()
1906 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
2258 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
H A DIteratorModeling.cpp794 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
H A DSmartPtrModeling.cpp498 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
H A DBasicObjCFoundationChecks.cpp939 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
H A DStdLibraryFunctionsChecker.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()
H A DMallocChecker.cpp1213 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h609 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
611 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
H A DSValBuilder.h133 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,