[Bug tree-optimization/84670] [8 Regression] ICE: in compute_antic_aux, at tree-ssa-pre.c:2148 with -O2 -fno-tree-dominator-opts

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Mar  5 13:18:12 2018
New Revision: 258243

URL: https://gcc.gnu.org/viewcvs?rev=258243&root=gcc&view=rev
Log:
2018-03-05  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/84670
        * tree-ssa-pre.c (struct bb_bitmap_sets): Add
visited_with_visited_succs
        member.
        (BB_VISITED_WITH_VISITED_SUCCS): New define.
        (compute_antic): Initialize BB_VISITED_WITH_VISITED_SUCCS.
        (compute_antic_aux): Only assert the number of values in ANTIC_IN
        doesn't grow if all successors (recursively) were visited at least
        once.

        * gcc.dg/pr84670-1.c: New testcase.
        * gcc.dg/pr84670-2.c: Likewise.
        * gcc.dg/pr84670-3.c: Likewise.
        * gcc.dg/pr84670-4.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/pr84670-1.c
    trunk/gcc/testsuite/gcc.dg/pr84670-2.c
    trunk/gcc/testsuite/gcc.dg/pr84670-3.c
    trunk/gcc/testsuite/gcc.dg/pr84670-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c