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

re PR middle-end/64465 (internal compiler error: verify_flow_info failed)

Browse Source 
PR tree-optimization/64465
	* tree-inline.c (redirect_all_calls): During inlining
	clean up EH stmts and EH edges if redirect_call_stmt_to_callee
	changed the stmt to a non-throwing call.

	* gcc.dg/pr64465.c: New test.

From-SVN: r219200
This commit is contained in:
Jakub Jelinek 2015-01-05 22:45:08 +01:00 committed by Jakub Jelinek
parent d1f4e4c31c
commit 15aed8c460
4 changed files with 41 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2015-01-05 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/64465
* tree-inline.c (redirect_all_calls): During inlining
clean up EH stmts and EH edges if redirect_call_stmt_to_callee
changed the stmt to a non-throwing call.
2015-01-05 Sandra Loosemore <sandra@codesourcery.com>
* doc/invoke.texi: Fix incorrect uses of @code, @option, @samp,

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2015-01-05 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/64465
* gcc.dg/pr64465.c: New test.
PR tree-optimization/64494
* gcc.c-torture/compile/pr64494.c: New test.

22
gcc/testsuite/gcc.dg/pr64465.c Normal file
View File

@ -0,0 +1,22 @@
/* PR tree-optimization/64465 */
/* { dg-do compile } */
/* { dg-options "-O2 -fexceptions" } */
extern int foo (int *);
extern int bar (int, int);
static inline __attribute__ ((__always_inline__))
int baz (int o)
{
if (__builtin_constant_p (o))
return bar (o, 1);
return bar (o, 0);
}
void
test (void)
{
int s;
foo (&s);
baz (4);
baz (s);
}

12
gcc/tree-inline.c
View File

@ -2582,13 +2582,19 @@ void
redirect_all_calls (copy_body_data * id, basic_block bb)
{
gimple_stmt_iterator si;
gimple last = last_stmt (bb);
for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
{
if (is_gimple_call (gsi_stmt (si)))
gimple stmt = gsi_stmt (si);
if (is_gimple_call (stmt))
{
struct cgraph_edge *edge = id->dst_node->get_edge (gsi_stmt (si));
struct cgraph_edge *edge = id->dst_node->get_edge (stmt);
if (edge)
edge->redirect_call_stmt_to_callee ();
{
edge->redirect_call_stmt_to_callee ();
if (stmt == last && id->call_stmt && maybe_clean_eh_stmt (stmt))
gimple_purge_dead_eh_edges (bb);
}
}
}
}