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
