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
