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

re PR c/90898 (ICE in insert_clobber_before_stack_restore, at tree-ssa-ccp.c:2112) 

PR c/90898
	* tree-ssa-ccp.c (insert_clobber_before_stack_restore): Remove
	assertion.
	(insert_clobbers_for_var): Fix a typo in function comment.

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

From-SVN: r278489
This commit is contained in:
Jakub Jelinek 2019-11-20 10:53:15 +01:00 committed by Jakub Jelinek
parent 9269f9603a
commit 4251fa113d
4 changed files with 29 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2019-11-20 Jakub Jelinek <jakub@redhat.com>
PR c/90898
* tree-ssa-ccp.c (insert_clobber_before_stack_restore): Remove
assertion.
(insert_clobbers_for_var): Fix a typo in function comment.
2019-11-19 Jakub Jelinek <jakub@redhat.com>
PR middle-end/91450

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2019-11-20 Jakub Jelinek <jakub@redhat.com>
PR c/90898
* gcc.dg/pr90898.c: New test.
Backported from mainline
2019-11-19 Jakub Jelinek <jakub@redhat.com>

16
gcc/testsuite/gcc.dg/pr90898.c Normal file
View File

@ -0,0 +1,16 @@
/* PR c/90898 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
void *p;
int bar (void);
void baz (int *);
void
foo (void)
{
p = __builtin_stack_save ();
int a[(bar (), 2)];
baz (a);
__builtin_stack_restore (p);
}

8
gcc/tree-ssa-ccp.c
View File

@ -2079,8 +2079,6 @@ insert_clobber_before_stack_restore (tree saved_val, tree var,
else if (gimple_assign_ssa_name_copy_p (stmt))
insert_clobber_before_stack_restore (gimple_assign_lhs (stmt), var,
visited);
else
gcc_assert (is_gimple_debug (stmt));
}
/* Advance the iterator to the previous non-debug gimple statement in the same
@ -2105,9 +2103,9 @@ gsi_prev_dom_bb_nondebug (gimple_stmt_iterator *i)
/* Find a BUILT_IN_STACK_SAVE dominating gsi_stmt (I), and insert
a clobber of VAR before each matching BUILT_IN_STACK_RESTORE.
It is possible that BUILT_IN_STACK_SAVE cannot be find in a dominator when a
previous pass (such as DOM) duplicated it along multiple paths to a BB. In
that case the function gives up without inserting the clobbers. */
It is possible that BUILT_IN_STACK_SAVE cannot be found in a dominator when
a previous pass (such as DOM) duplicated it along multiple paths to a BB.
In that case the function gives up without inserting the clobbers. */
static void
insert_clobbers_for_var (gimple_stmt_iterator i, tree var)