| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| DynamicExtent.cpp | 53 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType());
76 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub,
|
| CheckerContext.cpp | 114 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal,
|
| SVals.cpp | 220 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
246 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
|
| 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());
|
| 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.
|
| SValBuilder.cpp | 413 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
460 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType());
|
| ExprEngineCallAndReturn.cpp | 709 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize,
|
| ExprEngine.cpp | 258 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| STLAlgorithmModeling.cpp | 129 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE,
151 SVal Less = SVB.evalBinOp(StateFound, BO_LT,
|
| Iterator.cpp | 251 Pos->setTo(SVB.evalBinOp(State, BinOp,
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType());
|
| 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,
|
| CheckPlacementNew.cpp | 85 return SvalBuilder.evalBinOp(
|
| VLASizeChecker.cpp | 194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy);
|
| 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,
|
| 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)
|
| BasicObjCFoundationChecks.cpp | 929 SvalBuilder.evalBinOp(State, BO_GT,
|
| IteratorModeling.cpp | 795 // 1. Subtract the operands using evalBinOp().
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
|
| MallocChecker.cpp | 1010 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 618 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
623 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
629 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
631 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 382 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
644 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| SValBuilder.h | 158 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|
