| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PointerSubChecker.cpp | 79 auto IndexTooLarge = SVB.evalBinOp(C.getState(), BO_GT, ElemReg->getIndex(), in checkArrayBounds()
90 auto IndexTooSmall = SVB.evalBinOp(State, BO_LT, ElemReg->getIndex(), in checkArrayBounds()
|
| H A D | STLAlgorithmModeling.cpp | 151 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
173 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
|
| H A D | ContainerModeling.cpp | 442 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()
|
| H A D | ErrnoModeling.cpp | 249 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| H A D | CheckPlacementNew.cpp | 85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
|
| H A D | VLASizeChecker.cpp | 188 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
|
| H A D | CStringChecker.cpp | 1416 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()
|
| H A D | UnixAPIChecker.cpp | 357 auto LineBufSizeGtN = SVB.evalBinOp(LinePtrNotNull, BO_GE, LineBufSize, in EnsureGetdelimBufferAndSizeCorrect()
|
| H A D | IteratorModeling.cpp | 795 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 | BasicObjCFoundationChecks.cpp | 935 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1148 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 D | StreamChecker.cpp | 1302 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
|
| H A D | MallocChecker.cpp | 1137 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 100 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()
|
| H A D | CheckerContext.cpp | 153 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
|
| H A D | ExprEngineCallAndReturn.cpp | 812 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
|
| H A D | ExprEngine.cpp | 270 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 | 601 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
603 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|
| H A D | SValBuilder.h | 137 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|