https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81042
--- Comment #1 from Kevin Cox <kevincox at kevincox dot ca> --- Also it appears the loop condition isn't properly evaluated. For example the following three examples (and any other number I tested also cause the error. while (++i == 0) {} // Unreachable while (++i == 1) {} // Unreachable while (++i == 2) {} // Unreachable However some simpler expressions don't cause the error. while (false) {} // Unreachable while (i != i) {} // Unreachable