[Bug tree-optimization/87609] [7/8 Regression] miscompilation with restrict and loop

[rguenth at gcc dot gnu.org]

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

--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Aug 30 11:11:01 2019
New Revision: 275069

URL: https://gcc.gnu.org/viewcvs?rev=275069&root=gcc&view=rev
Log:
2019-08-30  Richard Biener  <rguenther@suse.de>

        * lto-streamer.h (LTO_minor_version): Bump.

        Backport from mainline
        2019-05-06  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/90328
        * tree-data-ref.h (dr_may_alias_p): Pass in the actual loop nest.
        * tree-data-ref.c (dr_may_alias_p): Check whether the clique
        is valid in the loop nest before using it.
        (initialize_data_dependence_relation): Adjust.
        * graphite-scop-detection.c (build_alias_set): Pass the SCOP enclosing
        loop as loop-nest to dr_may_alias_p.

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

        2019-03-08  Richard Biener  <rguenther@suse.de>

        PR middle-end/89578
        * cfgloop.h (struct loop): Add owned_clique field.
        * cfgloopmanip.c (copy_loop_info): Copy it.
        * tree-cfg.c (gimple_duplicate_bb): Do not remap owned_clique
        cliques.
        * tree-inline.c (copy_loops): Remap owned_clique.
        * lto-streamer-in.c (input_cfg): Stream owned_clique.
        * lto-streamer-out.c (output_cfg): Likewise.

        2019-02-22  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/87609
        * tree-cfg.c (gimple_duplicate_bb): Only remap inlined cliques.

        2019-02-22  Richard Biener  <rguenther@suse.de>

        PR middle-end/87609
        * cfghooks.h (dependence_hash): New typedef.
        (struct copy_bb_data): New type.
        (cfg_hooks::duplicate_block): Adjust to take a copy_bb_data argument.
        (duplicate_block): Likewise.
        * cfghooks.c (duplicate_block): Pass down copy_bb_data.
        (copy_bbs): Create and pass down copy_bb_data.
        * cfgrtl.c (cfg_layout_duplicate_bb): Adjust.
        (rtl_duplicate_bb): Likewise.
        * tree-cfg.c (gimple_duplicate_bb): If the copy_bb_data arg is not NULL
        remap dependence info.

        * gcc.dg/torture/restrict-7.c: New testcase.

        2019-02-22  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/87609
        * tree-core.h (tree_base): Document special clique values.
        * tree-inline.c (remap_dependence_clique): Do not use the
        special clique value of one.
        (maybe_set_dependence_info): Use clique one.
        (clear_dependence_clique): New callback.
        (compute_dependence_clique): Clear clique one from all refs
        before assigning it (again).

Added:
    branches/gcc-8-branch/gcc/testsuite/gcc.dg/torture/pr90328.c
    branches/gcc-8-branch/gcc/testsuite/gcc.dg/torture/restrict-7.c
Modified:
    branches/gcc-8-branch/gcc/ChangeLog
    branches/gcc-8-branch/gcc/cfghooks.c
    branches/gcc-8-branch/gcc/cfghooks.h
    branches/gcc-8-branch/gcc/cfgloop.h
    branches/gcc-8-branch/gcc/cfgloopmanip.c
    branches/gcc-8-branch/gcc/cfgrtl.c
    branches/gcc-8-branch/gcc/graphite-scop-detection.c
    branches/gcc-8-branch/gcc/lto-streamer-in.c
    branches/gcc-8-branch/gcc/lto-streamer-out.c
    branches/gcc-8-branch/gcc/lto-streamer.h
    branches/gcc-8-branch/gcc/testsuite/ChangeLog
    branches/gcc-8-branch/gcc/tree-cfg.c
    branches/gcc-8-branch/gcc/tree-core.h
    branches/gcc-8-branch/gcc/tree-data-ref.c
    branches/gcc-8-branch/gcc/tree-data-ref.h
    branches/gcc-8-branch/gcc/tree-inline.c
    branches/gcc-8-branch/gcc/tree-ssa-structalias.c