ptr高32位何时变为0的？

程序：

#include <stdio.h>
int main(void)
{
int a[4] = {1,2,3,4};
int *ptr = (int *)((unsigned int)a+1);
printf("a=%p\tptr=%p\n",a,ptr);
return 0;
}
linux下64位编译器编译后运行结果为：

ptr的高32位何时称为0的？
汇编如下：