/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ExprEngine.h | 405 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op, in evalBinOp() function 410 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op, in evalBinOp() function 415 SVal evalBinOp(const GRState *ST, BinaryOperator::Opcode Op, in evalBinOp() function 417 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|
D | SVals.h | 327 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 494 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
D | SValBuilder.h | 88 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op,
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | SValBuilder.cpp | 165 SVal SValBuilder::evalBinOp(const GRState *state, BinaryOperator::Opcode op, in evalBinOp() function in SValBuilder 196 return cast<DefinedOrUnknownSVal>(evalBinOp(state, BO_EQ, lhs, rhs, in evalEQ()
|
D | SVals.cpp | 226 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp() function in nonloc::ConcreteInt 252 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() function in loc::ConcreteInt
|
D | SimpleSValBuilder.cpp | 437 return lhsInt.evalBinOp(*this, op, cast<nonloc::ConcreteInt>(rhs)); in evalBinOpNN() 619 SVal ResultVal = cast<loc::ConcreteInt>(lhs).evalBinOp(BasicVals, op, in evalBinOpLL()
|
D | ExprEngine.cpp | 125 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState() 2672 Result = evalBinOp(state, BO_EQ, cast<Loc>(V), X, in VisitUnaryOperator() 2677 Result = evalBinOp(state, BO_EQ, cast<NonLoc>(V), X, in VisitUnaryOperator() 2734 SVal Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitUnaryOperator() 2932 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator() 2988 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | MallocChecker.cpp | 564 SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize, in CallocMem()
|