Vuelve a repasar mi mapa de memoria, ahi explico porque str2 puede almacenar una cadena mayor (comiendole memoria a otras variables ).

Podemos usar memoria dinamica, de esa forma nos aseguramos que no ocupan posiciones continuas y no se cumpla mi teoría:

#include <stdio.h>
#include <string.h>
 
int main ()
{
    int tam = strlen("Entrada larga");
   char* str1 = malloc(tam+1);
   strcpy (str1,"Entrada larga");
 
   char str2[5] = "abcd";
 
   strcpy (str2,str1);
   printf ("\n\nLo que queda en str1: %s\n\nCopiado, nuevo str2:\n%s\n\n",str1,str2);
   printf("\n\nY la cadena str2 impresa caracter a caracter:\n ");
   int i;
   for( i=0; str2[i]; i++)
       printf( "%c",str2[i] );
   return 0;
}
 

Tu regla no se cumple ya que da un error de ejecución en el segundo strcpy. Probablemente porque estemos escribiendo fuera de nuestra memoria reservada.

La Z fue introducida después del strcpy, eso quiere decir que esa letra era "común" en las dos cadenas (vuelvo a hacer referencia a mi esquema de la memoria).