From bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 1 Feb 2016 15:38:08 +0000 Subject: [PATCH] re PR tree-optimization/69574 (gcc ICE at -O2 and -O3 on x86_64-linux-gnu in hide_evolution_in_other_loops_than_loop) 2016-02-01 Richard Biener PR tree-optimization/69574 * tree-chrec.c (hide_evolution_in_other_loops_than_loop): Instead of asserting return chrec_dont_know. * gcc.dg/torture/pr69574.c: New testcase. From-SVN: r233039 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr69574.c | 15 +++++++++++++++ gcc/tree-chrec.c | 10 +++++----- 4 files changed, 31 insertions(+), 5 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr69574.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a38044049e3..15baad3a186 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-02-01 Richard Biener + + PR tree-optimization/69574 + * tree-chrec.c (hide_evolution_in_other_loops_than_loop): Instead + of asserting return chrec_dont_know. + 2016-02-01 Martin Liska * mem-stats-traits.h: Add copyright header. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0c1df5e3aa6..68278d13f85 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-02-01 Richard Biener + + PR tree-optimization/69574 + * gcc.dg/torture/pr69574.c: New testcase. + 2016-02-01 Richard Biener PR tree-optimization/69579 diff --git a/gcc/testsuite/gcc.dg/torture/pr69574.c b/gcc/testsuite/gcc.dg/torture/pr69574.c new file mode 100644 index 00000000000..feaac24043b --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr69574.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ + +typedef unsigned mytype; + +struct S { + mytype *pu; +}; + +mytype f(struct S *e) +{ + mytype x; + if(&x != e->pu) + __builtin_memcpy(&x, e->pu, sizeof(unsigned)); + return x; +} diff --git a/gcc/tree-chrec.c b/gcc/tree-chrec.c index 264c1050c8c..7a2e10004d3 100644 --- a/gcc/tree-chrec.c +++ b/gcc/tree-chrec.c @@ -728,12 +728,12 @@ hide_evolution_in_other_loops_than_loop (tree chrec, /* There is no evolution in this loop. */ return initial_condition (chrec); + else if (flow_loop_nested_p (loop, chloop)) + return hide_evolution_in_other_loops_than_loop (CHREC_LEFT (chrec), + loop_num); + else - { - gcc_assert (flow_loop_nested_p (loop, chloop)); - return hide_evolution_in_other_loops_than_loop (CHREC_LEFT (chrec), - loop_num); - } + return chrec_dont_know; default: return chrec; -- 2.30.2