| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BoolAssignmentChecker.cpp | 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, in checkBind()
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal, in checkBind()
|
| D | MallocChecker.cpp | 1102 SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize, in CallocMem()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 442 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function
447 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function
453 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op, in evalBinOp() function
455 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|
| D | SVals.h | 340 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
530 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| D | SValBuilder.h | 114 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp() function in nonloc::ConcreteInt
213 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() function in loc::ConcreteInt
|
| D | ExprEngineC.cpp | 84 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
140 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
830 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
837 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, in VisitUnaryOperator()
896 SVal Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
|
| D | SValBuilder.cpp | 251 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder
283 return evalBinOp(state, BO_EQ, lhs, rhs, Context.IntTy) in evalEQ()
|
| D | SimpleSValBuilder.cpp | 611 lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt); in evalBinOpLL()
|
| D | ExprEngine.cpp | 117 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState()
|