1733   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()  local
1734   state = checkNonNull(C, state, Dst, DstVal);  in evalStrcpyCommon()
1750   SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal);  in evalStrcpyCommon()
1898                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
1979           getCStringLength(C, state, Call.getOriginExpr(), DstVal, true);  in evalStrcpyCommon()
2021     Result = (ReturnEnd ? UnknownVal() : DstVal);  in evalStrcpyCommon()
2035           DstVal.getAs<loc::MemRegionVal>()) {  in evalStrcpyCommon()
2045       state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);  in evalStrcpyCommon()
2062         state = CheckLocation(C, state, Dst, DstVal, AccessKind::write);  in evalStrcpyCommon()
2359   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()  local
2363       invalidateDestinationBufferAlwaysEscapeSuperRegion(C, State, Dst, DstVal);  in evalStdCopyCommon()