[Bug tree-optimization/78224] [5/6 Regression] g++ ICE at -O2(-O1 on gcc6) and above in verify_loop_structure, at cfgloop.c:1646

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78224

--- Comment #7 from Richard Biener  ---
Author: rguenth
Date: Fri Dec  9 08:43:50 2016
New Revision: 243475

URL: https://gcc.gnu.org/viewcvs?rev=243475=gcc=rev
Log:
2016-12-09  Richard Biener  

Backport from mainline
2016-11-28  Richard Biener  

PR tree-optimization/78542
* tree-ssa-ccp.c (evaluate_stmt): Only valueize simplification
if allowed.

* gcc.dg/torture/pr78542.c: New testcase.

2016-11-23  Richard Biener  

PR tree-optimization/78482
* tree-cfgcleanup.c: Include tree-ssa-loop-niter.h.
(remove_forwarder_block_with_phi): When merging with a loop
header creates a new latch reset number of iteration information
of the loop.

* gcc.dg/torture/pr78482.c: New testcase.

2016-11-23  Richard Biener  

PR middle-end/71762
* match.pd ((~X & Y) -> X < Y, (X & ~Y) -> Y < X,
(~X | Y) -> X <= Y, (X | ~Y) -> Y <= X): Remove.

* gcc.dg/torture/pr71762-1.c: New testcase.
* gcc.dg/torture/pr71762-2.c: Likewise.
* gcc.dg/torture/pr71762-3.c: Likewise.
* gcc.dg/tree-ssa/forwprop-28.c: XFAIL.

2016-11-11  Richard Biener  

PR tree-optimization/71575
* graphite-isl-ast-to-gimple.c (copy_cond_phi_nodes): Remove
bogus assert.

* gcc.dg/graphite/pr71575-1.c: New testcase.
* gcc.dg/graphite/pr71575-2.c: Likewise.

2016-11-07  Richard Biener  

PR tree-optimization/78224
* tree-call-cdce.c (shrink_wrap_one_built_in_call_with_conds):
Split the fallthru edge in case its successor may have PHIs.

* g++.dg/torture/pr78224.C: New testcase.

2016-11-05  David Edelsohn  
Richard Biener  

PR bootstrap/78188
PR c++/71848
* ipa-comdats.c (pass_ipa_comdats::gate): Require HAVE_COMDAT_GROUP.

* g++.dg/ipa/pr78188.C: New test.

2016-09-20  Richard Biener  

PR tree-optimization/77646
* tree-ssa-sccvn.c (visit_reference_op_call): Always value-number
a VDEF.

* gcc.dg/torture/pr77646.c: New testcase.

Added:
branches/gcc-6-branch/gcc/testsuite/g++.dg/ipa/pr78188.C
branches/gcc-6-branch/gcc/testsuite/g++.dg/torture/pr78224.C
branches/gcc-6-branch/gcc/testsuite/gcc.dg/graphite/pr71575-1.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/graphite/pr71575-2.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71762-1.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71762-2.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71762-3.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr77646.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr78482.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr78542.c
Modified:
branches/gcc-6-branch/gcc/ChangeLog
branches/gcc-6-branch/gcc/graphite-isl-ast-to-gimple.c
branches/gcc-6-branch/gcc/ipa-comdats.c
branches/gcc-6-branch/gcc/match.pd
branches/gcc-6-branch/gcc/testsuite/ChangeLog
branches/gcc-6-branch/gcc/testsuite/gcc.dg/tree-ssa/forwprop-28.c
branches/gcc-6-branch/gcc/tree-call-cdce.c
branches/gcc-6-branch/gcc/tree-cfgcleanup.c
branches/gcc-6-branch/gcc/tree-ssa-ccp.c
branches/gcc-6-branch/gcc/tree-ssa-sccvn.c

[Bug tree-optimization/78224] [5/6 Regression] g++ ICE at -O2(-O1 on gcc6) and above in verify_loop_structure, at cfgloop.c:1646

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78224

Richard Biener  changed:

   What|Removed |Added

 CC||ncopa at alpinelinux dot org

--- Comment #6 from Richard Biener  ---
*** Bug 78004 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/78224] [5/6 Regression] g++ ICE at -O2(-O1 on gcc6) and above in verify_loop_structure, at cfgloop.c:1646

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78224

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/78224] [5/6 Regression] g++ ICE at -O2(-O1 on gcc6) and above in verify_loop_structure, at cfgloop.c:1646

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78224

Richard Biener  changed:

   What|Removed |Added

  Known to work||7.0
Summary|[5/6/7 Regression] g++ ICE  |[5/6 Regression] g++ ICE at
   |at -O2(-O1 on gcc6) and |-O2(-O1 on gcc6) and above
   |above in|in verify_loop_structure,
   |verify_loop_structure, at   |at cfgloop.c:1646
   |cfgloop.c:1646  |
  Known to fail|7.0 |

--- Comment #5 from Richard Biener  ---
Fixed on trunk sofar.