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

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Feb 22 08:38:14 2019
New Revision: 269098

URL: https://gcc.gnu.org/viewcvs?rev=269098&root=gcc&view=rev
Log:
2019-02-22  Richard Biener  <rguent...@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.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/restrict-7.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfghooks.c
    trunk/gcc/cfghooks.h
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c