Lines Matching defs:RHSVal
557 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());559 if (RHSVal.isUndef()) {560 X = RHSVal;562 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();569 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());