C语言程序分析：为什么输出结果是'E'而不是'D'？

程序的输出结果是'E'。这是因为在循环中，a的初始值为'A'，在switch语句中，根据a+1的值进入相应的case，第一次进入case 'A'，执行a++，a变为'B'，然后再次进入switch语句，此时a的值为'B'，进入case 'B'，执行++a，a变为'C'，然后再次进入switch语句，此时a的值为'C'，进入case 'C'，执行a=a+1，a变为'D'，但由于没有break语句，程序继续执行下一个语句，即执行default语句，将a的值加2，a变为'F'，然后再次进入循环条件判断，由于a的值已经大于等于'D'，循环结束，最终输出a的值，即'E'。