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

re PR middle-end/79089 (error: incorrect sharing of tree nodes) 

PR c/79089
	* gimplify.c (gimplify_init_constructor): If want_value and
	object == lhs, unshare lhs to avoid invalid tree sharing.  Formatting
	fix.

	* gcc.c-torture/compile/pr79089.c: New test.

From-SVN: r244507
This commit is contained in:
Jakub Jelinek 2017-01-16 22:35:30 +01:00 committed by Jakub Jelinek
parent e1bcfb924a
commit 98e92fb210
4 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,5 +1,10 @@
2017-01-16 Jakub Jelinek <jakub@redhat.com>
PR c/79089
* gimplify.c (gimplify_init_constructor): If want_value and
object == lhs, unshare lhs to avoid invalid tree sharing. Formatting
fix.
PR target/79080
* loop-doloop.c (doloop_modify): Call unshare_all_rtl_in_chain on
sequence. Formatting fixes.

6
gcc/gimplify.c
View File

@ -4586,8 +4586,8 @@ gimplify_init_constructor (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p,
}
object = TREE_OPERAND (*expr_p, 0);
ctor = TREE_OPERAND (*expr_p, 1) =
optimize_compound_literals_in_ctor (TREE_OPERAND (*expr_p, 1));
ctor = TREE_OPERAND (*expr_p, 1)
= optimize_compound_literals_in_ctor (TREE_OPERAND (*expr_p, 1));
type = TREE_TYPE (ctor);
elts = CONSTRUCTOR_ELTS (ctor);
ret = GS_ALL_DONE;
@ -4911,6 +4911,8 @@ gimplify_init_constructor (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p,
{
tree lhs = TREE_OPERAND (*expr_p, 0);
tree rhs = TREE_OPERAND (*expr_p, 1);
if (want_value && object == lhs)
lhs = unshare_expr (lhs);
gassign *init = gimple_build_assign (lhs, rhs);
gimplify_seq_add_stmt (pre_p, init);
}

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2017-01-16 Jakub Jelinek <jakub@redhat.com>
PR c/79089
* gcc.c-torture/compile/pr79089.c: New test.
PR target/79080
* gcc.dg/pr79080.c: New test.

12
gcc/testsuite/gcc.c-torture/compile/pr79089.c Normal file
View File

@ -0,0 +1,12 @@
/* PR c/79089 */
struct S { int b; };
struct T { struct S c; } a;
int d;
struct S e;
void
foo ()
{
e = ({ d++; a.c = (struct S) {}; });
}