Compilado con MinGW:
EDIT:
Yo no estoy seguro lo que dice naderST, pero aun si fuera cierto no tiene sentido
No me creas a mí, revisa el enlace que coloqué de stack overflow y si no me equivoco es algo que está contemplado en el estándar pero no está especificado.
Si te fijas bien, en el tercer printf (cuarto en realidad) antes de ser llamado ptr vale 00512421, al evaluarse de derecha a izquierda se hace un pos-incremento quedando la llamada de la siguiente manera:
printf("\n\n%p %p", 00512422, 00512421);