这里是一个简单的循环题

他的输出为啥是7呢？while括号后面不是y=6时循环体就不能循环了吗
#include<stdio.h>

int main()
{
int x=10,y=0,a=0,k;
for(k=1;k<=5;k++)
{
do
{x=x-2;y=y+2;a++;
}while(y<=5&&x>=-1);
}
printf("%d",a);
return 0;
}

for循环循环5次：
for循环第一次，do-while循环里执行了三次，y从0到2到4到6，共3次;
剩余四次for循环，因为do-while循环的特性，必定执行一次，所以加上4次。
一共do-while循环7次，所以a=7。