Home
last modified time | relevance | path

Searched refs:evalBinOp (Results 1 – 8 of 8) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h405 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()
DSVals.h327 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
494 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
DSValBuilder.h88 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op,
/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp165 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()
DSVals.cpp226 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
DSimpleSValBuilder.cpp437 return lhsInt.evalBinOp(*this, op, cast<nonloc::ConcreteInt>(rhs)); in evalBinOpNN()
619 SVal ResultVal = cast<loc::ConcreteInt>(lhs).evalBinOp(BasicVals, op, in evalBinOpLL()
DExprEngine.cpp125 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/
DMallocChecker.cpp564 SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize, in CallocMem()