[Bug tree-optimization/82163] [8 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:707

[amker at gcc dot gnu.org]

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

--- Comment #3 from amker at gcc dot gnu.org ---
Author: amker
Date: Mon Sep 25 17:32:36 2017
New Revision: 253161

URL: https://gcc.gnu.org/viewcvs?rev=253161&root=gcc&view=rev
Log:
        PR tree-optimization/82163
        * tree-ssa-loop-manip.h (verify_loop_closed_ssa): New parameter.
        (checking_verify_loop_closed_ssa): New parameter.
        * tree-ssa-loop-manip.c (check_loop_closed_ssa_use): Delete.
        (check_loop_closed_ssa_stmt): Delete.
        (check_loop_closed_ssa_def, check_loop_closed_ssa_bb): New functions.
        (verify_loop_closed_ssa): Check loop closed ssa form for LOOP.
        (tree_transform_and_unroll_loop): Check loop closed ssa form only for
        changed loops.

        gcc/testsuite
        * gcc.dg/tree-ssa/pr82163.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr82163.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-manip.c
    trunk/gcc/tree-ssa-loop-manip.h