| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
|
| BasicObjCFoundationChecks.cpp | 915 SvalBuilder.evalBinOp(State, BO_GT,
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 451 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
456 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
462 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
464 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 348 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
538 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| SValBuilder.h | 115 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
|
| ExprEngineC.cpp | 86 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
142 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
839 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType());
846 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X,
[all...] |
| SValBuilder.cpp | 331 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
363 return evalBinOp(state, BO_EQ, lhs, rhs, Context.IntTy)
|
| SimpleSValBuilder.cpp | 635 lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt);
[all...] |
| ExprEngine.cpp | 119 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
[all...] |
