| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 164 SVal IsLeMax = SVB.evalBinOp(State, BO_LE, RetVal, MaxVal, Res); in checkOverflow()
165 SVal IsGeMin = SVB.evalBinOp(State, BO_GE, RetVal, MinVal, Res); in checkOverflow()
211 SVal RetValMax = SVB.evalBinOp(State, Op, Arg1, Arg2, in handleOverflowBuiltin()
213 SVal RetVal = SVB.evalBinOp(State, Op, Arg1, Arg2, ResultType); in handleOverflowBuiltin()
|
| H A D | STLAlgorithmModeling.cpp | 154 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
176 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
|
| H A D | Iterator.cpp | 250 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
308 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
|
| H A D | ContainerModeling.cpp | 446 SVB.evalBinOp(State, BO_Add, in handlePushBack()
475 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
520 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
557 SVB.evalBinOp(State, BO_Add, in handlePopFront()
682 SVB.evalBinOp(State, BO_Add, in handleEraseAfter()
|
| H A D | ErrnoModeling.cpp | 247 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| H A D | VLASizeChecker.cpp | 186 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
|
| H A D | CheckPlacementNew.cpp | 85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
|
| H A D | BitwiseShiftChecker.cpp | 145 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
|
| H A D | CStringChecker.cpp | 1422 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1511 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1980 svalBuilder.evalBinOp(state, BO_Sub, freeSpace, in evalStrcpyCommon()
2056 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
2448 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
|
| H A D | UnixAPIChecker.cpp | 367 auto LineBufSizeGtN = SVB.evalBinOp(LinePtrNotNull, BO_GE, LineBufSize, in EnsureGetdelimBufferAndSizeCorrect()
|
| H A D | IteratorModeling.cpp | 802 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
|
| H A D | SmartPtrModeling.cpp | 498 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
|
| H A D | StreamChecker.cpp | 914 SVB.evalBinOp(State, BO_NE, RetVal, VarValue, SVB.getConditionType()) in assumeNoAliasingWithStdStreams()
1341 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
|
| H A D | BasicObjCFoundationChecks.cpp | 934 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1146 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT) in apply()
1255 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
1264 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
|
| H A D | MallocChecker.cpp | 1283 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 65 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()) in getDynamicElementCount()
101 return SVB.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, ExtentInBytes, in getDynamicExtentWithOffset()
|
| H A D | ExprEngineC.cpp | 103 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
159 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
766 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
1078 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1084 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, U->getType()); in VisitUnaryOperator()
1158 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
|
| H A D | CheckerContext.cpp | 153 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 1353 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1367 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1390 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
|
| H A D | SValBuilder.cpp | 494 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder
550 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
|
| H A D | ExprEngineCallAndReturn.cpp | 813 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
|
| H A D | ExprEngine.cpp | 271 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 614 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
616 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|
| H A D | SValBuilder.h | 138 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|