Yes, the standards say that the behavior of memcpy, as opposed to memmove, is undefined when the arguments overlap.