https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102650 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- If it is undefined it should be unreachable, not switch to a random static branch ;) (defeating uninit diagnostics, of course)