Lines Matching refs:RHSVal
594 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());596 if (RHSVal.isUndef()) {597 X = RHSVal;599 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();606 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());