https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85243
--- Comment #1 from Yibiao Yang <yangyibiao at nju dot edu.cn> --- When: 1. removing Line #3 and Line #9, i.e., the { } block or 2. changing "for(;a<2;)" to "for(;1;)" or 3. removing Line #4 the result are both correct.