C语言while循环 里面的条件虽然是假了 也得执行

int main()
{
	int y = 3, a = 2;
	//k = fun(i / 2);
	while (y-- != -1)//这里执行了两次  虽然最后一次条件是假了 也得执行
	{
		do
		{
			a *= y; a++;
		} while (y--);//这里也是一样  
	}
	printf("%d,%d",a,y);
	return 0;
}

　　while循环得执行里面的条件 才能知道是真的还是假的，因此 就算条件是假的 也得执行。