| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 53 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType());
76 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub,
|
| H A D | CheckerContext.cpp | 114 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal,
|
| H A D | SVals.cpp | 220 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, function in class:nonloc::ConcreteInt
246 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, function in class:loc::ConcreteInt
|
| H A D | ExprEngineC.cpp | 100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
741 X = evalBinOp(N->getState(), BO_NE,
1056 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType());
1062 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X,
1138 Result = evalBinOp(state, Op, V2, RHS, U->getType());
|
| H A D | SimpleSValBuilder.cpp | 774 lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt);
1187 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1209 S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1225 // A crude way of preventing this function from calling itself from evalBinOp.
|
| H A D | SValBuilder.cpp | 413 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, function in class:SValBuilder
460 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType());
|
| H A D | ExprEngineCallAndReturn.cpp | 709 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize,
|
| H A D | ExprEngine.cpp | 258 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
|
| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 129 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE,
151 SVal Less = SVB.evalBinOp(StateFound, BO_LT,
|
| H A D | Iterator.cpp | 251 Pos->setTo(SVB.evalBinOp(State, BinOp,
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());
|
| H A D | ContainerModeling.cpp | 451 SVB.evalBinOp(State, BO_Add,
480 SVB.evalBinOp(State, BO_Sub,
525 SVB.evalBinOp(State, BO_Sub,
562 SVB.evalBinOp(State, BO_Add,
687 SVB.evalBinOp(State, BO_Add,
|
| H A D | CheckPlacementNew.cpp | 85 return SvalBuilder.evalBinOp(
|
| H A D | VLASizeChecker.cpp | 194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy);
|
| H A D | CStringChecker.cpp | 1106 SVal NewStrLenGESize = svalBuilder.evalBinOp(
1191 SVal lastElement = C.getSValBuilder().evalBinOp(
1647 svalBuilder.evalBinOp(state, BO_Sub, freeSpace,
1721 SVal retSize = svalBuilder.evalBinOp(
2056 svalBuilder.evalBinOp(state, op, resultVal, zeroVal,
|
| H A D | StdLibraryFunctionsChecker.cpp | 349 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV,
358 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize,
797 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)
|
| H A D | IteratorModeling.cpp | 795 // 1. Subtract the operands using evalBinOp().
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
|
| H A D | BasicObjCFoundationChecks.cpp | 929 SvalBuilder.evalBinOp(State, BO_GT,
|
| H A D | MallocChecker.cpp | 1010 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,
|
| /netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 618 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, function in class:clang::ento::ExprEngine
623 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, function in class:clang::ento::ExprEngine
629 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, function in class:clang::ento::ExprEngine
631 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| H A D | SVals.h | 382 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
644 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| H A D | SValBuilder.h | 158 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|