diff options
| author | Richard Biener <rguenther@suse.de> | 2013-05-21 11:56:57 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-05-21 11:56:57 +0000 |
| commit | c52da5f7d36d279d829adf384271c53e1ce87601 (patch) | |
| tree | c20a2257804e79332688bf1c33067db4d6ada09d | |
| parent | bf5f6aa9be32bec652082a6b1e834b7340af8739 (diff) | |
| download | gcc-c52da5f7d36d279d829adf384271c53e1ce87601.zip gcc-c52da5f7d36d279d829adf384271c53e1ce87601.tar.gz gcc-c52da5f7d36d279d829adf384271c53e1ce87601.tar.bz2 | |
re PR tree-optimization/57330 (ICE: verify_gimple failed -O3 [tree-cfg.c:4792])
2013-05-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/57330
* cgraph.c (cgraph_redirect_edge_call_stmt_to_callee): Properly
preserve the call stmts fntype.
* gcc.dg/torture/pr57330.c: New testcase.
From-SVN: r199139
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cgraph.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr57330.c | 11 |
4 files changed, 23 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0a7c1e7..bab6db4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2013-05-21 Richard Biener <rguenther@suse.de> + PR tree-optimization/57330 + * cgraph.c (cgraph_redirect_edge_call_stmt_to_callee): Properly + preserve the call stmts fntype. + +2013-05-21 Richard Biener <rguenther@suse.de> + PR tree-optimization/57303 * tree-ssa-sink.c (statement_sink_location): Improve killing stmt detection and properly handle self-assignments. diff --git a/gcc/cgraph.c b/gcc/cgraph.c index 899f65c..2a2973b 100644 --- a/gcc/cgraph.c +++ b/gcc/cgraph.c @@ -1068,6 +1068,7 @@ cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge *e) = gimple_call_copy_skip_args (e->call_stmt, e->callee->clone.combined_args_to_skip); gimple_call_set_fndecl (new_stmt, e->callee->symbol.decl); + gimple_call_set_fntype (new_stmt, gimple_call_fntype (e->call_stmt)); if (gimple_vdef (new_stmt) && TREE_CODE (gimple_vdef (new_stmt)) == SSA_NAME) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0783914..1ba9007 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2013-05-21 Richard Biener <rguenther@suse.de> + PR tree-optimization/57330 + * gcc.dg/torture/pr57330.c: New testcase. + +2013-05-21 Richard Biener <rguenther@suse.de> + PR tree-optimization/57303 * gcc.dg/torture/pr57303.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr57330.c b/gcc/testsuite/gcc.dg/torture/pr57330.c new file mode 100644 index 0000000..3e6cbcb --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr57330.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ + +void foo (int a) +{} + +void *a; +void bar () +{ + void **( *b ) ( ) = (void**(*)()) foo; + a = b (0); +} |