https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111917
--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #3)
> If someone is worried about uninitialized variables or an executed infinite
> loop, this also ICEs at -O3:
> ```
> long t;
> long a() {
> long b = t, c = t;
> for (; b < 31; b++)
> c <<= 1;
> return c;
> }
> long long t1;
> static
> int d() {
> if (!t1)
> return 0;
> e:
> f:
> for (; a();)
> ;
> goto f;
> return 0;
> }
> int main() { d(); }
> ```
It does not ICE with aa90195, for which the original test case ICEs,
so it is something else (although probably related).