Home
last modified time | relevance | path

Searched refs:evalMinus (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp34 SVal evalMinus(NonLoc val) override;
187 SVal SimpleSValBuilder::evalMinus(NonLoc val) { in evalMinus() function in SimpleSValBuilder
190 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this); in evalMinus()
915 index = (op == BO_Add) ? rhs : evalMinus(rhs); in evalBinOpLN()
DSVals.cpp213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus() function in nonloc::ConcreteInt
DExprEngineC.cpp350 V = evalMinus(V); in VisitCast()
891 state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>())); in VisitUnaryOperator()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h477 SVal evalMinus(SVal X) { in evalMinus() function
478 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
DSValBuilder.h92 virtual SVal evalMinus(NonLoc val) = 0;
DSVals.h355 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;