Searched refs:destVal (Results 1 – 2 of 2) sorted by relevance
302 char16 destVal = valC ? valA : valB; in test17() local
1009 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon() local1014 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()1025 state = checkNonNull(C, state, Dest, destVal); in evalCopyCommon()1052 loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>(); in evalCopyCommon()1080 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()