mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 23:31:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/44964 (ICE: SIGSEGV in gimple_default_def (tree-dfa.c:539) with -fkeep-inline-functions)

Browse Source 
2010-11-10  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/44964
	* ipa-inline.c (cgraph_flatten): Check that SSA form matches.

	* gcc.dg/pr44964.c: New testcase.

From-SVN: r166543
This commit is contained in:
Richard Guenther 2010-11-10 16:05:03 +00:00 committed by Richard Biener
parent 9063bd1de4
commit 59e0c6b70f
4 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2010-11-10 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44964
* ipa-inline.c (cgraph_flatten): Check that SSA form matches.
2010-11-10 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/46351

8
gcc/ipa-inline.c
View File

@ -1407,6 +1407,14 @@ cgraph_flatten (struct cgraph_node *node)
continue;
}
if (gimple_in_ssa_p (DECL_STRUCT_FUNCTION (node->decl))
!= gimple_in_ssa_p (DECL_STRUCT_FUNCTION (e->callee->decl)))
{
if (dump_file)
fprintf (dump_file, "Not inlining: SSA form does not match.\n");
continue;
}
/* Inline the edge and flatten the inline clone. Avoid
recursing through the original node if the node was cloned. */
if (dump_file)

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2010-11-10 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44964
* gcc.dg/pr44964.c: New testcase.
2010-11-10 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/opt10.adb: Fix typo.

21
gcc/testsuite/gcc.dg/pr44964.c Normal file
View File

@ -0,0 +1,21 @@
/* { dg-do compile } */
/* { dg-options "-fkeep-inline-functions -O" } */
static inline __attribute__ ((const))
void baz (int i)
{
}
static __attribute__ ((always_inline))
inline __attribute__ ((flatten))
void bar (void)
{
baz (0);
}
void
foo (void)
{
bar ();
}