Home | History | Annotate | Download | only in Core

Lines Matching full:rhsval

558     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
560     if (RHSVal.isUndef()) {
561       X = RHSVal;
563       DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();
570           X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());