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());