re PR tree-optimization/88444 (ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:468; or ICE: tree check: expected ssa_name, have integer_cst in get_value_range, at vr-values.c:84)

PR tree-optimization/88444
	* tree-inline.c (fold_marked_statements): Iterate up to
	last_basic_block_for_fn rather than n_basic_blocks_for_fn.

	* gcc.dg/tree-ssa/pr88444.c: New test.

From-SVN: r267113
This commit is contained in:
Jakub Jelinek 2018-12-14 00:35:10 +01:00 committed by Jakub Jelinek
parent b532a7859f
commit 0864675cc5
4 changed files with 14 additions and 1 deletions

View File

@ -1,5 +1,9 @@
2018-12-13 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/88444
* tree-inline.c (fold_marked_statements): Iterate up to
last_basic_block_for_fn rather than n_basic_blocks_for_fn.
PR rtl-optimization/88470
* cfgcleanup.c (outgoing_edges_match): If the function is
shrink-wrapped and bb1 ends with a JUMP_INSN with a single fake

View File

@ -1,5 +1,8 @@
2018-12-13 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/88444
* gcc.dg/tree-ssa/pr88444.c: New test.
PR rtl-optimization/88470
* gcc.target/i386/pr88470.c: New test.

View File

@ -0,0 +1,6 @@
/* PR tree-optimization/88444 */
/* { dg-do compile } */
/* { dg-options "-O1 -finline-functions -finline-small-functions -fdump-tree-fixup_cfg3" } */
/* { dg-final { scan-tree-dump-not " = \\(long int\\) 0;" "fixup_cfg3" } } */
#include "../pr88444.c"

View File

@ -4906,7 +4906,7 @@ gimple_expand_calls_inline (basic_block bb, copy_body_data *id)
static void
fold_marked_statements (int first, hash_set<gimple *> *statements)
{
for (; first < n_basic_blocks_for_fn (cfun); first++)
for (; first < last_basic_block_for_fn (cfun); first++)
if (BASIC_BLOCK_FOR_FN (cfun, first))
{
gimple_stmt_iterator gsi;