C语言中一段程序：int y=10;while(y--); printf（"y=%d\n”,y）; 怎么理解

int y=10;//定义y=10
while(y--); //如果这里有分号,那就是空循环,直到y=0时,退出循环,但还要再执行一次y-1
printf（"y=%d\n”,y）; //这样就是显示成y=-1