[intro.execution]p6 заявляет, что «An instance of each object with automatic storage duration is associated with each entry into its block. Such an object exists and retains its last-stored value during the execution of the block»

[basic.stc]p4 заявляет, что «When the end of the duration of a region of storage is reached, the values of all pointers representing the address of any part of that region of storage become invalid pointer values.»

В коде

int main()
{
	auto pi = new int{};
	delete pi;
}

Каково будет значение указателя pi после выполнения delete pi? Результат new-expression, а значит и изначальное значение pi, это pointer to object. Согласно [intro.execution]p6 объект должен содержать last-stored value. Согласно [basic.stc]p4, освобождение памяти меняет значение указателя на invalid pointer value. Значит ли, что освобождение памяти приводит к записи (store) в переменную-указатель?

P.S. Шизофреникам, для которых «became invalid pointer value» это «не изменилось»:

Every value of pointer type is one of the following:
— a pointer to an object or function (the pointer is said to point to the object or function), or
…
— an invalid pointer value.

Надеюсь, «one of the following» ясно даёт понять, что значение не может стать invalid pointer value и при этом оставаться pointer to an object.