[Bug middle-end/80539] [5/6 Regression] gcc ICE at -O2 and above on valid code on x86_64-linux-gnu in "chrec_fold_plus_poly_poly"

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed May  3 11:22:34 2017
New Revision: 247545

URL: https://gcc.gnu.org/viewcvs?rev=247545&root=gcc&view=rev
Log:
2017-05-03  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2017-04-20  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/80453
        * tree-ssa-sccvn.h (struct vn_phi_s): Add cclhs and ccrhs members.
        * tree-ssa-sccvn.c (cond_stmts_equal_p): Use recorded lhs and rhs
        from the conditions.
        (vn_phi_eq): Pass them down.
        (vn_phi_lookup): Record them.
        (vn_phi_insert): Likewise.

        2017-04-25  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/80492
        * alias.c (compare_base_decls): Handle registers with asm
        specification conservatively.

        * gcc.dg/pr80492.c: New testcase.

        2017-04-27  Richard Biener  <rguenther@suse.de>

        PR middle-end/80539
        * tree-chrec.c (chrec_fold_plus_poly_poly): Deal with not
        being in loop-closed SSA form conservatively.
        (chrec_fold_multiply_poly_poly): Likewise.

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

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/pr80492.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr80539.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/alias.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/tree-chrec.c
    branches/gcc-7-branch/gcc/tree-ssa-sccvn.c
    branches/gcc-7-branch/gcc/tree-ssa-sccvn.h