分析下面的C语言代码：inta=，b=;do{b=a;a++;}while(b–<);则执行循环语句后b的值为（）ABCD