[Bug c/39252] Request new feature __builtin_unreachable ()

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

------- Comment #13 from daney at gcc dot gnu dot org  2009-06-11 23:55 -------
Subject: Bug 39252

Author: daney
Date: Thu Jun 11 23:55:45 2009
New Revision: 148403

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148403
Log:
2009-06-11  David Daney  <ddaney@caviumnetworks.com>

        PR c/39252
        * doc/extend.texi ( __builtin_unreachable): Document new builtin.
        * builtins.c (expand_builtin_unreachable): New function.
        (expand_builtin): Handle BUILT_IN_UNREACHABLE case.
        * builtins.def (BUILT_IN_UNREACHABLE): Add new builtin.
        * cfgcleanup.c (try_optimize_cfg): Delete empty blocks with no
        successors.
        * cfgrtl.c (rtl_verify_flow_info): Handle empty blocks when
        searching for missing barriers.

2009-06-11  David Daney  <ddaney@caviumnetworks.com>

        PR c/39252
        * gcc.dg/builtin-unreachable-1.c: New test.
        * gcc.dg/builtin-unreachable-2.c: Same.

Added:
    trunk/gcc/testsuite/gcc.dg/builtin-unreachable-1.c
    trunk/gcc/testsuite/gcc.dg/builtin-unreachable-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/builtins.def
    trunk/gcc/cfgcleanup.c
    trunk/gcc/cfgrtl.c
    trunk/gcc/doc/extend.texi
    trunk/gcc/system.h
    trunk/gcc/testsuite/ChangeLog


-- 


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