Home | History | Annotate | Download | only in Core

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