[Bug sanitizer/81505] [5/6/7 Regression] ICE in tree-ssa-loop-manip.c:95 with -fsanitize=signed-integer-overflow

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Jul 26 08:36:34 2017
New Revision: 250560

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

        Backport from mainline
        2017-06-02  Richard Biener  <rguenther@suse.de>
                Markus Eisenmann  <meisenmann.lba@fh-salzburg.ac.at>

        PR libstdc++/80721
        * libsupc++/eh_alloc.cc (pool::free): Keep list properly
        sorted and add missing freelist item merging cases.

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

        PR tree-optimization/81410
        * tree-vect-stmts.c (vectorizable_load): Properly adjust for
        the gap in the ! slp_perm SLP case after each group.

        * gcc.dg/vect/pr81410.c: New testcase.

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

        PR tree-optimization/81455
        * tree-ssa-loop-unswitch.c (find_loop_guard): Make sure to
        not walk in cycles when looking for guards.

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

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

        PR middle-end/81505
        * fold-const.c (fold_negate_const): TREE_OVERFLOW should be
        sticky.

        * gcc.dg/ubsan/pr81505.c: New testcase.

        2017-07-04  Jakub Jelinek  <jakub@redhat.com>

        PR target/81175
        * gcc.target/i386/pr69255-2.c (foo): Use the return value of the
        gather.

        2017-06-28  Jakub Jelinek  <jakub@redhat.com>

        PR target/81175
        * config/i386/i386.c (ix86_init_mmx_sse_builtins): Use def_builtin
        rather than def_builtin_pure for __builtin_ia32_gatherpf*.

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

        PR target/81175
        * config/i386/i386.c (ix86_init_mmx_sse_builtins):
        Use def_builtin_pure for all gather builtins.

        * gfortran.dg/pr81175.f: New testcase.

        2017-06-21  Marc Glisse  <marc.glisse@inria.fr>

        * config/i386/i386.c (struct builtin_isa): New field pure_p.
        Reorder for compactness.
        (def_builtin, def_builtin2, ix86_add_new_builtins): Handle pure_p.
        (def_builtin_pure, def_builtin_pure2): New functions.
        (ix86_init_mmx_sse_builtins) [__builtin_ia32_stmxcsr]: Mark as pure.

        * gcc.dg/tree-ssa/addadd.c: Un-XFAIL.
        * gcc.dg/tree-ssa/addadd-2.c: New file.

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/pr81455.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/ubsan/pr81505.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/vect/pr81410.c
    branches/gcc-7-branch/gcc/testsuite/gcc.target/i386/getround.c
    branches/gcc-7-branch/gcc/testsuite/gfortran.dg/pr81175.f
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/config/i386/i386.c
    branches/gcc-7-branch/gcc/fold-const.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/gcc.target/i386/pr69255-2.c
    branches/gcc-7-branch/gcc/tree-ssa-loop-unswitch.c
    branches/gcc-7-branch/gcc/tree-vect-stmts.c
    branches/gcc-7-branch/libstdc++-v3/ChangeLog
    branches/gcc-7-branch/libstdc++-v3/libsupc++/eh_alloc.cc