diff options
| author | Richard Biener <rguenther@suse.de> | 2016-02-01 15:38:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-02-01 15:38:08 +0000 |
| commit | bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f (patch) | |
| tree | 38b01bfd3bdf6c9d9b8753e0ef46c0c637f4491c | |
| parent | 0b2e1bfa0a8b778c564786af0556302257cea450 (diff) | |
| download | gcc-bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f.zip gcc-bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f.tar.gz gcc-bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f.tar.bz2 | |
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 <rguenther@suse.de>
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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr69574.c | 15 | ||||
| -rw-r--r-- | gcc/tree-chrec.c | 10 |
4 files changed, 31 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a380440..15baad3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-02-01 Richard Biener <rguenther@suse.de> + + 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 <mliska@suse.cz> * mem-stats-traits.h: Add copyright header. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0c1df5e..68278d1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2016-02-01 Richard Biener <rguenther@suse.de> + PR tree-optimization/69574 + * gcc.dg/torture/pr69574.c: New testcase. + +2016-02-01 Richard Biener <rguenther@suse.de> + PR tree-optimization/69579 * gcc.dg/setjmp-6.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr69574.c b/gcc/testsuite/gcc.dg/torture/pr69574.c new file mode 100644 index 0000000..feaac24 --- /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 264c105..7a2e100 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; |