https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46476
--- Comment #23 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 51877 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51877&action=edit some fallout in GCC This fixes some fallout appearant when bootstrapping with the patch, mostly style, so not pushed to trunk. There are more unresolved -Werror cases because of the change so I'm not sure that warning at CFG construction is good enough for a narrow scope warning. Instead the summary requested stmt after return could likely be implemented at parsing time without too much hassle (but obviously repeated in every frontend).