[Bug tree-optimization/71595] [7 Regression] ICE on valid code at -O2 and -O3 on x86_64-linux-gnu: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:704

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

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Nov 24 12:25:22 2016
New Revision: 242835

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

        PR tree-optimization/71595
        * cfgloopmanip.h (remove_path): Add irred_invalidated and
        loop_closed_ssa_invalidated parameters, defaulted to NULL.
        * cfgloopmanip.c (remove_path): Likewise, pass them along to
        called functions.  Only fix irred flags if the caller didn't
        request state.
        * tree-ssa-loop-ivcanon.c (unloop_loops): Use add_bb_to_loop.
        (unloop_loops): Pass irred_invalidated and loop_closed_ssa_invalidated
        to remove_path.

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

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr71595.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgloopmanip.c
    trunk/gcc/cfgloopmanip.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-ivcanon.c