[Bug tree-optimization/79977] [6 Regression] [graphite] ICE in outermost_loop_in_sese, at sese.c:300 w/ -O2 -floop-nest-optimize

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Mar 14 12:57:08 2017
New Revision: 246122

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

        Backport from mainline
        2016-05-02  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/80004
        PR target/49244
        * gimple.c (gimple_builtin_call_types_compatible_p): Allow
        char/short arguments promoted to int because of promote_prototypes.

        2017-03-09  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/79977
        * graphite-scop-detection.c (scop_detection::merge_sese):
        Handle the case of extra exits to blocks dominating the entry.

        * gcc.dg/graphite/pr79977.c: New testcase.

        2017-03-09  Richard Biener  <rguenther@suse.de>

        PR middle-end/79971
        * gimple-expr.c (useless_type_conversion_p): Preserve
        TYPE_SATURATING for fixed-point types.

        * gcc.dg/fixed-point/pr79971.c: New testcase.

        2017-03-06  Richard Biener  <rguenther@suse.de>

        PR fortran/79894
        * trans.c (gfc_add_modify_loc): Weaken assert.

        2017-03-02  Richard Biener  <rguenther@suse.de>

        PR c/79756
        * c-common.c (c_common_mark_addressable_vec): Look through
        C_MAYBE_CONST_EXPR.

        * gcc.dg/vector-1.c: New testcase.

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

        PR tree-optimization/79666
        * tree-vrp.c (extract_range_from_binary_expr_1): Make sure
        to not symbolically negate if that may introduce undefined
        overflow.

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

        2017-02-17  Richard Biener  <rguenther@suse.de>

        PR middle-end/79576
        * params.def (max-ssa-name-query-depth): Limit to 10.

Added:
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/fixed-point/pr79971.c
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/graphite/pr79977.c
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr79666.c
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/vector-1.c
Modified:
    branches/gcc-6-branch/gcc/ChangeLog
    branches/gcc-6-branch/gcc/c-family/ChangeLog
    branches/gcc-6-branch/gcc/c-family/c-common.c
    branches/gcc-6-branch/gcc/fortran/ChangeLog
    branches/gcc-6-branch/gcc/fortran/trans.c
    branches/gcc-6-branch/gcc/gimple-expr.c
    branches/gcc-6-branch/gcc/gimple.c
    branches/gcc-6-branch/gcc/graphite-scop-detection.c
    branches/gcc-6-branch/gcc/params.def
    branches/gcc-6-branch/gcc/testsuite/ChangeLog
    branches/gcc-6-branch/gcc/tree-vrp.c