Lines Matching refs:destVal
1009 SVal destVal = state->getSVal(Dest, LCtx);
1014 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
1025 state = checkNonNull(C, state, Dest, destVal);
1052 loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>();
1080 state = state->BindExpr(CE, LCtx, destVal);
