/external/clang/lib/StaticAnalyzer/Checkers/ |
BoolAssignmentChecker.cpp | 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, 122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
|
VLASizeChecker.cpp | 140 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
|
BasicObjCFoundationChecks.cpp | [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
SVals.cpp | 195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, 221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
|
ExprEngineC.cpp | 93 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), [all...] |
SValBuilder.cpp | 361 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 393 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType())
|
SimpleSValBuilder.cpp | 660 lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt); [all...] |
ExprEngine.cpp | 131 SVal Constraint_untested = evalBinOp(state, BO_GT, V, [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ExprEngine.h | 476 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 481 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 487 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, 489 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,
|