[Bug c++/54046] [4.6/4.7/4.8 Regression] wrong control reaches end of non-void function for switch case with throw and default

["jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54046

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-23 16:04:14 UTC ---
Author: jakub
Date: Fri Nov 23 16:04:03 2012
New Revision: 193762

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193762
Log:
    PR c++/54046
    * Makefile.in (gimple-low.o): Depend on langhooks.h.
    * gimple-low.c: Include langhooks.c.
    (block_may_fallthru): Handle TARGET_EXPR and ERROR_MARK,
    by default call lang_hooks.block_may_fallthru.
    * langhooks.h (struct lang_hooks): Add block_may_fallthru
    langhook.
    * langhooks-def.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Define.
    (LANG_HOOKS_INITIALIZER): Use it.

    * cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
    * cp-objcp-common.c (cxx_block_may_fallthru): New function.
    * cp-tree.h (cxx_block_may_fallthru): New prototype.

    * g++.dg/warn/Wreturn-type-8.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Wreturn-type-8.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-objcp-common.c
    trunk/gcc/cp/cp-objcp-common.h
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/gimple-low.c
    trunk/gcc/langhooks-def.h
    trunk/gcc/langhooks.h
    trunk/gcc/testsuite/ChangeLog