https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97125 --- Comment #1 from David Binderman <dcb314 at hotmail dot com> --- Reduced code is void a() { if (0) a; else switch (0) ; }