https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67784
--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> --- And another that seems to be caused by something else and isn't fixed by my patch: void h () { for (typedef int T;;) if (1) ; T *x; x = 0; } I'm opening a separate PR for this one.