[Bug tree-optimization/83510] Recent changes for -Warray-bounds trigger false positive

[sirl at gcc dot gnu.org]

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

Franz Sirl <sirl at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |6.4.0, 7.2.0

--- Comment #2 from Franz Sirl <sirl at gcc dot gnu.org> ---
It started with r255649:

2017-12-14  David Malcolm  <dmalcolm@redhat.com>

        PR tree-optimization/83312
        * domwalk.h (dom_walker::dom_walker): Fix typo in comment.
        * tree-cfg.c (find_taken_edge): Update to handle NULL_TREE for
        "val" param, and to cope with arbitrary basic blocks.
        (find_taken_edge_cond_expr): Add "cond_stmt" param and use it to
        handle NULL_TREE for "val", dropping "bb" param.
        (find_taken_edge_switch_expr): Make "switch_stmt" param const and
        drop "bb" param.  Handle NULL_TREE for "val".
        (find_case_label_for_value): Make "switch_stmt" param const.
        * tree-vrp.c (class check_array_bounds_dom_walker): New subclass
        of dom_walker.
        (vrp_prop::check_all_array_refs): Reimplement as...
        (check_array_bounds_dom_walker::before_dom_children): ...this new
        vfunc.  Replace linear search through BB block list, excluding
        those with non-executable in-edges via dominator walk.