Home | History | Annotate | Download | only in Core

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