OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/57499 (ICE when noreturn destructor returns after throw with -O) 

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.

From-SVN: r207504
This commit is contained in:
Jakub Jelinek 2014-02-05 15:34:30 +01:00
parent 05ab6e2119
commit 609524d29c
4 changed files with 31 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
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.
2014-02-05 James Greenhalgh <james.greenhalgh@arm.com>
PR target/59718

7
gcc/testsuite/ChangeLog
View File

@ -1,6 +1,11 @@
2014-02-05 Jakub Jelinek <jakub@redhat.com>
PR middle-end/57499
* g++.dg/torture/pr57499.C: New test.
2014-02-05 Yury Gribov <y.gribov@samsung.com>
* gcc.dg/asan/nosanitize-and-inline.c: : New test.
* gcc.dg/asan/nosanitize-and-inline.c: New test.
2014-02-04 Jan Hubicka <hubicka@ucw.cz>

14
gcc/testsuite/g++.dg/torture/pr57499.C Normal file
View File

@ -0,0 +1,14 @@
// PR middle-end/57499
// { dg-do compile }
struct S
{
~S () __attribute__ ((noreturn)) {} // { dg-warning "function does return" }
};
void
foo ()
{
S s;
throw 1;
}

7
gcc/tree-eh.c
View File

@ -4396,8 +4396,11 @@ cleanup_empty_eh (eh_landing_pad lp)
/* If the block is totally empty, look for more unsplitting cases. */
if (gsi_end_p (gsi))
{
/* For the degenerate case of an infinite loop bail out. */
if (infinite_empty_loop_p (e_out))
/* For the degenerate case of an infinite loop bail out.
If bb has no successors and is totally empty, which can happen e.g.
because of incorrect noreturn attribute, bail out too. */
if (e_out == NULL
|| infinite_empty_loop_p (e_out))
return ret;
return ret | cleanup_empty_eh_unsplit (bb, e_out, lp);