Searched refs:evalMinus (Results 1 – 7 of 7) sorted by relevance
31 SVal evalMinus(NonLoc val) override;63 SVal SimpleSValBuilder::evalMinus(NonLoc val) { in evalMinus() function in SimpleSValBuilder66 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this); in evalMinus()1071 index = (op == BO_Add) ? rhs : evalMinus(rhs); in evalBinOpLN()
238 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus() function in nonloc::ConcreteInt
275 V = evalMinus(V); in handleLValueBitCast()1046 state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>())); in VisitUnaryOperator()
593 SVal evalMinus(SVal X) { in evalMinus() function594 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
125 virtual SVal evalMinus(NonLoc val) = 0;
387 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
653 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()