Home | History | Annotate | Download | only in Core

Lines Matching defs:RHSVal

546     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
548     if (RHSVal.isUndef()) {
549       X = RHSVal;
551       DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();
558           X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());