From c94f2d84e51b39f4f90c3cb3bf3c0d056080bc57 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 21 Sep 2017 12:12:33 +0000 Subject: [PATCH] re PR tree-optimization/82276 (-O2: ICE: SSA corruption during RTL pass: expand; at tree-ssa-coalesce.c:1010) 2017-09-21 Richard Biener PR tree-optimization/82276 PR tree-optimization/82244 * tree-vrp.c (build_assert_expr_for): Set SSA_NAME_OCCURS_IN_ABNORMAL_PHI if the variable we assert on has it set. (remove_range_assertions): Revert earlier change. * gcc.dg/torture/pr82276.c: New testcase. From-SVN: r253062 --- gcc/ChangeLog | 9 ++++++++ gcc/testsuite/ChangeLog | 6 +++++ gcc/testsuite/gcc.dg/torture/pr82276.c | 32 ++++++++++++++++++++++++++ gcc/tree-vrp.c | 15 +++++------- 4 files changed, 53 insertions(+), 9 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr82276.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c7065000c7d..736cc7f29f4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2017-09-21 Richard Biener + + PR tree-optimization/82276 + PR tree-optimization/82244 + * tree-vrp.c (build_assert_expr_for): Set + SSA_NAME_OCCURS_IN_ABNORMAL_PHI if the variable we assert on + has it set. + (remove_range_assertions): Revert earlier change. + 2017-09-21 Wilco Dijkstra PR target/71951 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 870d2543179..3db0548a838 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2017-09-21 Richard Biener + + PR tree-optimization/82276 + PR tree-optimization/82244 + * gcc.dg/torture/pr82276.c: New testcase. + 2017-09-21 Richard Biener PR tree-optimization/71351 diff --git a/gcc/testsuite/gcc.dg/torture/pr82276.c b/gcc/testsuite/gcc.dg/torture/pr82276.c new file mode 100644 index 00000000000..2f9efc8b914 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr82276.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ + +typedef struct a { + struct a *b; +} a; + +extern int d(void); +extern int g(void); +extern int h(void); +extern int _setjmp(); +extern int i(void); + +void c(void) { + 1 ? d() : 0; + a *e; + while (e) { + e = (e == (a *) c) ? 0 : e->b; + while (e) { + unsigned int f = 0; + g(); + _setjmp(f); + if (f & 6) { + ; + } else if (f & 2) { + ; + } else { + h(); + } + i(); + } + } +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 1d45851ea92..aef20f4e8a5 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4520,7 +4520,12 @@ build_assert_expr_for (tree cond, tree v) operand of the ASSERT_EXPR. Create it so the new name and the old one are registered in the replacement table so that we can fix the SSA web after adding all the ASSERT_EXPRs. */ - create_new_def_for (v, assertion, NULL); + tree new_def = create_new_def_for (v, assertion, NULL); + /* Make sure we preserve abnormalness throughout an ASSERT_EXPR chain + given we have to be able to fully propagate those out to re-create + valid SSA when removing the asserts. */ + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (v)) + SSA_NAME_OCCURS_IN_ABNORMAL_PHI (new_def) = 1; return assertion; } @@ -7041,14 +7046,6 @@ remove_range_assertions (void) FOR_EACH_IMM_USE_ON_STMT (use_p, iter) SET_USE (use_p, var); } - /* But do not propagate constants as that is invalid. */ - else if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (lhs)) - { - gassign *ass = gimple_build_assign (lhs, var); - gsi_replace (&si, ass, true); - gsi_next (&si); - continue; - } else replace_uses_by (lhs, var); -- 2.30.2