Considere o trecho de código em linguagem C abaixo:

int *x = malloc(10 * sizeof(int));
int *y = x + 5;
/* ... */
free(y);

Assinale a alternativa que apresenta a correta descrição do efeito de free(y) nesse trecho.