¿Puedo llamar a memcpy () y memmove () con "número de bytes" establecido en cero?

¿Necesito tratar casos en los que realmente no tengo nada para mover / copiar memmove()/ memcpy()como casos extremos?

int numberOfBytes = ...
if( numberOfBytes != 0 ) {
    memmove( dest, source, numberOfBytes );
}

o debería simplemente llamar a la función sin verificar

int numberOfBytes = ...
memmove( dest, source, numberOfBytes );

¿Es necesaria la verificación en el fragmento anterior?

Del estándar C99 (7.21.1 / 2):

Donde un argumento declarado como size_t nespecifica la longitud de la matriz para una función, npuede tener el valor cero en una llamada a esa función. A menos que se indique explícitamente lo contrario en la descripción de una función particular en esta subcláusula, los argumentos de puntero en dicha llamada todavía tendrán valores válidos, como se describe en 7.1.4. En tal llamada, una función que localiza un carácter no encuentra ocurrencia, una función que compara dos secuencias de caracteres devuelve cero y una función que copia caracteres copia cero caracteres.

Por tanto, la respuesta es no; la verificación no es necesaria (o sí, puede pasar cero).

Como dice @You, el estándar especifica que memcpy y memmove deben manejar este caso sin problemas; ya que generalmente se implementan de alguna manera como

void *memcpy(void *_dst, const void *_src, size_t len)
{
    unsigned char *dst = _dst;
    const unsigned char *src = _src;
    while(len-- > 0)
        *dst++ = *src++;
    return _dst;
}

ni siquiera debería tener ninguna penalidad de rendimiento que no sea la llamada a la función; si el compilador admite intrínsecos / inlining para tales funciones, la verificación adicional puede incluso hacer que el código sea un poco más lento, ya que la verificación ya está hecha en ese momento.