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

re PR tree-optimization/42237 (internal compiler error: verify_stmts failed)

Browse Source 
2009-12-01  Martin Jambor  <mjambor@suse.cz>

	PR tree-optimization/42237
	* tree-sra.c (sra_ipa_modify_assign): Split gimple_reg_type assignments
	in between references into two.

	* testsuite/gcc.c-torture/compile/pr42237.c: New test.

From-SVN: r154874
This commit is contained in:
Martin Jambor 2009-12-01 18:39:44 +01:00 committed by Martin Jambor
parent ee0192a223
commit d557591da1
4 changed files with 57 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2009-12-01 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/42237
* tree-sra.c (sra_ipa_modify_assign): Split gimple_reg_type assignments
in between references into two.
2009-12-01 Richard Guenther <rguenther@suse.de>
* tree-inline.c (copy_tree_body_r): Do not set TREE_BLOCK

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2009-12-01 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/42237
* gcc.c-torture/compile/pr42237.c: New test.
2009-12-01 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/42057

32
gcc/testsuite/gcc.c-torture/compile/pr42237.c Normal file
View File

@ -0,0 +1,32 @@
struct A
{
int p;
};
struct B
{
struct A n;
struct A m;
int x;
int y;
int z;
};
extern int g1, g2;
static void __attribute__((noinline)) foo (struct B *b)
{
int t;
t = b->n.p;
g1 = t;
b->n.p = t+1;
g2 = b->m.p;
b->m = b->n;
}
void bar (struct B *b)
{
foo (b);
}

18
gcc/tree-sra.c
View File

@ -3707,12 +3707,22 @@ sra_ipa_modify_assign (gimple *stmt_ptr, gimple_stmt_iterator *gsi, void *data)
any |= sra_ipa_modify_expr (lhs_p, gsi, true, data);
if (any)
{
tree new_rhs = NULL_TREE;
if (!useless_type_conversion_p (TREE_TYPE (*lhs_p), TREE_TYPE (*rhs_p)))
new_rhs = fold_build1_loc (gimple_location (stmt), VIEW_CONVERT_EXPR,
TREE_TYPE (*lhs_p), *rhs_p);
else if (REFERENCE_CLASS_P (*rhs_p)
&& is_gimple_reg_type (TREE_TYPE (*lhs_p))
&& !is_gimple_reg (*lhs_p))
/* This can happen when an assignment in between two single field
structures is turned into an assignment in between two pointers to
scalars (PR 42237). */
new_rhs = *rhs_p;
if (new_rhs)
{
location_t loc = gimple_location (stmt);
tree vce = fold_build1_loc (loc, VIEW_CONVERT_EXPR,
TREE_TYPE (*lhs_p), *rhs_p);
tree tmp = force_gimple_operand_gsi (gsi, vce, true, NULL_TREE,
tree tmp = force_gimple_operand_gsi (gsi, new_rhs, true, NULL_TREE,
true, GSI_SAME_STMT);
gimple_assign_set_rhs_from_tree (gsi, tmp);