[Bug tree-optimization/90474] [7/8/9 Regression] ICE: verify_gimple failed (error: DECL_GIMPLE_REG_P set on a variable with address taken; error: invalid address operand in MEM_REF)

[rguenth at gcc dot gnu.org]

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jun  6 11:06:45 2019
New Revision: 271995

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

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

        PR tree-optimization/90450
        * tree-ssa-loop-im.c (struct im_mem_ref): Add ref_decomposed.
        (mem_ref_hasher::equal): Check it.
        (mem_ref_alloc): Initialize it.
        (gather_mem_refs_stmt): Set it.

        2019-05-15  Richard Biener  <rguenther@suse.de>

        PR c/90474
        * c-common.c (c_common_mark_addressable_vec): Also mark
        a COMPOUND_LITERAL_EXPR_DECL addressable similar to
        c_mark_addressable.

        2019-05-13  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/90402
        * tree-if-conv.c (tree_if_conversion): Value number only
        the loop body by making the latch an exit of the region
        as well.
        * tree-ssa-sccvn.c (process_bb): Add flag whether to skip
        processing PHIs.
        (do_rpo_vn): Deal with multiple edges into the entry block
        that are not backedges inside the region by skipping PHIs
        of the entry block.

        * gcc.dg/torture/pr90402-1.c: New testcase.

        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.

Added:
    branches/gcc-9-branch/gcc/testsuite/gcc.dg/torture/pr90328.c
    branches/gcc-9-branch/gcc/testsuite/gcc.dg/torture/pr90402-1.c
Modified:
    branches/gcc-9-branch/gcc/ChangeLog
    branches/gcc-9-branch/gcc/c-family/ChangeLog
    branches/gcc-9-branch/gcc/c-family/c-common.c
    branches/gcc-9-branch/gcc/graphite-scop-detection.c
    branches/gcc-9-branch/gcc/testsuite/ChangeLog
    branches/gcc-9-branch/gcc/tree-data-ref.c
    branches/gcc-9-branch/gcc/tree-data-ref.h
    branches/gcc-9-branch/gcc/tree-if-conv.c
    branches/gcc-9-branch/gcc/tree-ssa-loop-im.c
    branches/gcc-9-branch/gcc/tree-ssa-sccvn.c