[Bug tree-optimization/62217] [4.9 Regression] DOM confuses complete unrolling which in turn causes VRP to warn

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #18 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Feb 11 13:40:31 2016
New Revision: 233344

URL: https://gcc.gnu.org/viewcvs?rev=233344&root=gcc&view=rev
Log:
2016-02-11  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2015-02-18  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/62217
        * tree-ssa-dom.c (cprop_operand): Avoid propagating copies
        into BIVs.

        * gcc.dg/tree-ssa/cunroll-11.c: New testcase.

        2015-06-18  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2015-06-03  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/66375
        * tree-scalar-evolution.c (follow_ssa_edge_binary): First
        add to the evolution before following SSA edges.

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

        2015-06-23  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2015-06-09  Richard Biener  <rguenther@suse.de>

        PR middle-end/66413
        * tree-inline.c (insert_init_debug_bind): Unshare value.

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

        2015-07-08  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/66794
        * gimple-ssa-isolate-paths.c (gimple_ssa_isolate_erroneous_paths):
        Free post-dominators.

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

        2015-07-10  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/66823
        * tree-if-conv.c (memrefs_read_or_written_unconditionally): Fix
        inverted predicate.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/torture/pr66375.c
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/torture/pr66413.c
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/torture/pr66794.c
    branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/tree-ssa/cunroll-11.c
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/gimple-ssa-isolate-paths.c
    branches/gcc-4_9-branch/gcc/gimple.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_9-branch/gcc/tree-if-conv.c
    branches/gcc-4_9-branch/gcc/tree-inline.c
    branches/gcc-4_9-branch/gcc/tree-scalar-evolution.c
    branches/gcc-4_9-branch/gcc/tree-ssa-dom.c