[Bug tree-optimization/91200] ICE on valid code at -O1: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Sep  2 12:56:24 2019
New Revision: 275317

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

        Backport from mainline
        2019-07-19  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/91200
        * tree-ssa-phiopt.c (cond_store_replacement): Check we have
        no PHI nodes in middle-bb.

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

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

        PR middle-end/91162
        * tree-cfg.c (move_block_to_fn): When releasing a virtual PHI
        node make sure to replace all uses with something valid.

        * gcc.dg/autopar/pr91162.c: New testcase.

        2019-07-11  Richard Biener  <rguenther@suse.de>

        PR middle-end/91131
        * gimplify.c (gimplify_compound_literal_expr): Force a temporary
        when the object is volatile and we have not cleared it even though
        there are no nonzero elements.

        * gcc.target/i386/pr91131.c: New testcase.

        2019-07-10  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/91126
        * tree-ssa-sccvn.c (n_walk_cb_data::push_partial_def): Adjust
        native encoding offset for BYTES_BIG_ENDIAN.
        (vn_reference_lookup_3): Likewise.

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

        2019-07-10  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/91126
        * tree-ssa-sccvn.c (vn_reference_lookup_3): Adjust
        native encoding offset for BYTES_BIG_ENDIAN.

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

        2019-04-29  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/90278
        * tree-ssa-forwprop.c (pass_forwprop::execute): Transfer/clean
        EH on comparison simplification.

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

        2019-04-11  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/90020
        * tree-ssa-sccvn.c (vn_reference_may_trap): New function.
        * tree-ssa-sccvn.h (vn_reference_may_trap): Declare.
        * tree-ssa-pre.c (compute_avail): Use it to not put
        possibly trapping references after a call that might not
        return into EXP_GEN.
        * gcse.c (compute_hash_table_work): Do not elide
        marking a block containing a call if the call might not
        return.

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

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/autopar/pr91162.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr90020.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr90278.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr91126.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr91200.c
    branches/gcc-7-branch/gcc/testsuite/gcc.target/i386/pr91131.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/gcse.c
    branches/gcc-7-branch/gcc/gimplify.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/tree-cfg.c
    branches/gcc-7-branch/gcc/tree-ssa-forwprop.c
    branches/gcc-7-branch/gcc/tree-ssa-phiopt.c
    branches/gcc-7-branch/gcc/tree-ssa-pre.c
    branches/gcc-7-branch/gcc/tree-ssa-sccvn.c
    branches/gcc-7-branch/gcc/tree-ssa-sccvn.h