[Bug tree-optimization/80213] [7/8 Regression] ICE in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:704

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|8.0                         |
            Summary|[7/8 Regression] ICE in     |[7 Regression] ICE in
                   |check_loop_closed_ssa_use,  |check_loop_closed_ssa_use,
                   |at                          |at
                   |tree-ssa-loop-manip.c:704   |tree-ssa-loop-manip.c:704
      Known to fail|7.2.0                       |
      Known to work|8.0                         |
            Summary|[7 Regression] ICE in       |[7/8 Regression] ICE in
                   |check_loop_closed_ssa_use,  |check_loop_closed_ssa_use,
                   |at                          |at
                   |tree-ssa-loop-manip.c:704   |tree-ssa-loop-manip.c:704
      Known to fail|7.2.0                       |

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk.

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Sep 20 12:08:16 2017
New Revision: 253008

URL: https://gcc.gnu.org/viewcvs?rev=253008&root=gcc&view=rev
Log:
2017-09-20  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/80213
        * graphite-scop-detection.c (trivially_empty_bb_p): Labels
        are allowed in empty BBs as well.
        (canonicalize_loop_closed_ssa): Also look for other complex
        edges.
        (scop_detection::get_sese): Include the loop-closed PHI block
        in loop SESEs.
        (scop_detection::merge_sese): Remove code adding extra blocks.
        (scop_detection::region_has_one_loop): Adjust for get_sese changes.
        (build_scops): Assert the final returned scop is invalid.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-scop-detection.c