| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | DynamicExtent.cpp | 54 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()); in getDynamicElementCount()
77 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, in getDynamicExtentWithOffset()
|
| D | ExprEngineC.cpp | 100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
734 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
1049 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1055 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, U->getType()); in VisitUnaryOperator()
1130 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
|
| D | CheckerContext.cpp | 138 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
|
| D | SimpleSValBuilder.cpp | 1294 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1308 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
1331 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType())); in simplifySValOnce()
|
| D | SValBuilder.cpp | 486 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder
542 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
|
| D | ExprEngineCallAndReturn.cpp | 815 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
|
| D | ExprEngine.cpp | 269 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | STLAlgorithmModeling.cpp | 130 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
152 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
|
| D | Iterator.cpp | 251 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
|
| D | ContainerModeling.cpp | 437 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()
|
| D | VLASizeChecker.cpp | 195 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize()
|
| D | CheckPlacementNew.cpp | 85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
|
| D | ErrnoModeling.cpp | 299 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| D | CStringChecker.cpp | 1193 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1278 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1741 svalBuilder.evalBinOp(state, BO_Sub, freeSpace, in evalStrcpyCommon()
1815 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
2151 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
|
| D | IteratorModeling.cpp | 799 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
|
| D | SmartPtrModeling.cpp | 498 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
|
| D | StdLibraryFunctionsChecker.cpp | 353 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
362 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
964 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT) in apply()
|
| D | BasicObjCFoundationChecks.cpp | 930 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
|
| D | StreamChecker.cpp | 899 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, in evalFtell()
|
| D | MallocChecker.cpp | 1207 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 616 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
618 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|
| D | SValBuilder.h | 125 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|