[Bug c++/57499] New: ICE when noreturn destructor returns after throw with -O

[Bug c++/57499] New: ICE when noreturn destructor returns after throw with -O

[f.heckenbach@fh-soft.de]

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

            Bug ID: 57499
           Summary: ICE when noreturn destructor returns after throw with
                    -O
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: f.heckenbach@fh-soft.de

Created attachment 30238
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30238&action=edit
Test case

Got this while triaging #57498. The test program is clearly wrong, but since
ICEs should always be reported ...

% g++-4.7 -O test.cpp 
test.cpp: In destructor 'foo::~foo()':
test.cpp:7:3: warning: 'noreturn' function does return [enabled by default]
test.cpp: In function 'int main()':
test.cpp:14:1: internal compiler error: Segmentation fault

[Bug middle-end/57499] [4.7/4.8/4.9 Regression] ICE when noreturn destructor returns after throw with -O

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.4.7
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2013-06-03
          Component|c++                         |middle-end
     Ever confirmed|0                           |1
            Summary|ICE when noreturn           |[4.7/4.8/4.9 Regression]
                   |destructor returns after    |ICE when noreturn
                   |throw with -O               |destructor returns after
                   |                            |throw with -O
   Target Milestone|---                         |4.7.4
      Known to fail|                            |4.5.4, 4.6.4, 4.7.2, 4.8.1,
                   |                            |4.9.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

0xd197c5 crash_signal
        /space/rguenther/src/svn/trunk/gcc/toplev.c:333
0xd745a5 infinite_empty_loop_p
        /space/rguenther/src/svn/trunk/gcc/tree-eh.c:4187
0xd74908 cleanup_empty_eh
        /space/rguenther/src/svn/trunk/gcc/tree-eh.c:4263
0xd74d7e cleanup_all_empty_eh
        /space/rguenther/src/svn/trunk/gcc/tree-eh.c:4376
0xd74e0a execute_cleanup_eh_1
        /space/rguenther/src/svn/trunk/gcc/tree-eh.c:4405
0xd74e5b execute_cleanup_eh
        /space/rguenther/src/svn/trunk/gcc/tree-eh.c:4430

[Bug middle-end/57499] [4.7/4.8/4.9 Regression] ICE when noreturn destructor returns after throw with -O

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug middle-end/57499] [4.7/4.8/4.9 Regression] ICE when noreturn destructor returns after throw with -O

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Likely started with r151696.

[Bug middle-end/57499] [4.7/4.8/4.9 Regression] ICE when noreturn destructor returns after throw with -O

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 32037
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32037&action=edit
gcc47-pr57499.patch

Untested fix.

[Bug middle-end/57499] [4.7/4.8/4.9 Regression] ICE when noreturn destructor returns after throw with -O

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb  5 14:34:30 2014
New Revision: 207504

URL: http://gcc.gnu.org/viewcvs?rev=207504&root=gcc&view=rev
Log:
    PR middle-end/57499
    * tree-eh.c (cleanup_empty_eh): Bail out on totally empty
    bb with no successors.

    * g++.dg/torture/pr57499.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr57499.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-eh.c

[Bug middle-end/57499] [4.7/4.8 Regression] ICE when noreturn destructor returns after throw with -O

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.9.0
            Summary|[4.7/4.8/4.9 Regression]    |[4.7/4.8 Regression] ICE
                   |ICE when noreturn           |when noreturn destructor
                   |destructor returns after    |returns after throw with -O
                   |throw with -O               |
      Known to fail|4.9.0                       |

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed on the trunk so far.

[Bug middle-end/57499] [4.7/4.8 Regression] ICE when noreturn destructor returns after throw with -O

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Mar  6 07:54:28 2014
New Revision: 208363

URL: http://gcc.gnu.org/viewcvs?rev=208363&root=gcc&view=rev
Log:
    Backport from mainline
    2014-02-05  Jakub Jelinek  <jakub@redhat.com>

    PR middle-end/57499
    * tree-eh.c (cleanup_empty_eh): Bail out on totally empty
    bb with no successors.

    * g++.dg/torture/pr57499.C: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/torture/pr57499.C
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_8-branch/gcc/tree-eh.c

[Bug middle-end/57499] [4.7 Regression] ICE when noreturn destructor returns after throw with -O

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57499

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.7.4                       |4.8.3
      Known to fail|                            |4.7.4

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed in 4.8.3.