https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100523
--- Comment #4 from Alex Coplan <acoplan at gcc dot gnu.org> --- Looks like it also falls over with this testcase: int main_j; long x; int main() { long crc = x; for (; main_j; main_j--) if (crc) crc = crc >> 1 ^ 20; } which fixes the uninitialized use