[Bug ipa/65432] New: [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[Bug ipa/65432] New: [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[trippels at gcc dot gnu.org]

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

            Bug ID: 65432
           Summary: [5 Regression] Invalid read of size 1:
                    ipa_icf::sem_item_optimizer::merge_classes(unsigned
                    int) (ipa-icf.c:2958)
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org

Running the testsuite on ppc64le with an --enable-checking=valgrind
compiler shows many instances of:

==94166== Invalid read of size 1
==94166==    at 0x40980F8: strlen (in
/usr/lib64/valgrind/vgpreload_memcheck-ppc64le-linux.so)
==94166==    by 0x4626503: vfprintf@@GLIBC_2.17 (in /usr/lib64/libc-2.20.so)
==94166==    by 0x4631003: fprintf@@GLIBC_2.17 (in /usr/lib64/libc-2.20.so)
==94166==    by 0x10CF34B3: ipa_icf::sem_item_optimizer::merge_classes(unsigned
int) (ipa-icf.c:2958)
==94166==    by 0x10CF962B: ipa_icf::sem_item_optimizer::execute()
(ipa-icf.c:2236)
==94166==    by 0x10CFC8DF: ipa_icf_driver (ipa-icf.c:3060)
==94166==    by 0x10CFC8DF: ipa_icf::pass_ipa_icf::execute(function*)
(ipa-icf.c:3107)
==94166==    by 0x1068FBC7: execute_one_pass(opt_pass*) (passes.c:2328)
==94166==    by 0x10690B53: execute_ipa_pass_list(opt_pass*) (passes.c:2727)
==94166==    by 0x1038D2DF: ipa_passes (cgraphunit.c:2207)
==94166==    by 0x1038D2DF: symbol_table::compile() (cgraphunit.c:2295)
==94166==    by 0x1038ED47: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2444)
==94166==    by 0x101A31CB: cp_write_global_declarations() (decl2.c:4754)
==94166==    by 0x1076894F: compile_file() (toplev.c:608)
==94166==  Address 0x701ee20 is 0 bytes inside a block of size 38 free'd
==94166==    at 0x4095394: free (in
/usr/lib64/valgrind/vgpreload_memcheck-ppc64le-linux.so)
==94166==    by 0x10243CAF: cxx_printable_name_internal(tree_node*, int, bool)
(tree.c:2026)
==94166==    by 0x10374D23: symtab_node::name() const (symtab.c:479)
==94166==    by 0x10CF3497: name (ipa-icf.h:177)
==94166==    by 0x10CF3497: ipa_icf::sem_item_optimizer::merge_classes(unsigned
int) (ipa-icf.c:2958)
==94166==    by 0x10CF962B: ipa_icf::sem_item_optimizer::execute()
(ipa-icf.c:2236)
==94166==    by 0x10CFC8DF: ipa_icf_driver (ipa-icf.c:3060)
==94166==    by 0x10CFC8DF: ipa_icf::pass_ipa_icf::execute(function*)
(ipa-icf.c:3107)
==94166==    by 0x1068FBC7: execute_one_pass(opt_pass*) (passes.c:2328)
==94166==    by 0x10690B53: execute_ipa_pass_list(opt_pass*) (passes.c:2727)
==94166==    by 0x1038D2DF: ipa_passes (cgraphunit.c:2207)
==94166==    by 0x1038D2DF: symbol_table::compile() (cgraphunit.c:2295)
==94166==    by 0x1038ED47: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2444)
==94166==    by 0x101A31CB: cp_write_global_declarations() (decl2.c:4754)
==94166==    by 0x1076894F: compile_file() (toplev.c:608)

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[trippels at gcc dot gnu.org]

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

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
To reproduce:
trippels@gcc2-power8 testsuite % ~/gcc_valgrind/usr/local/bin/g++ -c -O2
-fdump-ipa-icf -fno-inline g++.dg/ipa/ipa-icf-4.C

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Can't reproduce on x86_64-linux.

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mliska at suse dot cz
   Target Milestone|---                         |5.0

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[marxin at gcc dot gnu.org]

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Created attachment 35057
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35057&action=edit
Suggested patch

I guess the problem is caused by missing xstdup_for_dump wrappers.
Can you please Markus test for me the patch?
Thanks
>From gcc-bugs-return-480676-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 18 13:13:45 2015
Return-Path: <gcc-bugs-return-480676-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11994 invoked by alias); 18 Mar 2015 13:13:45 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11943 invoked by uid 48); 18 Mar 2015 13:13:42 -0000
From: "ams at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/64491] [5 Regression] incorrect warning: loop exit may only be reached after undefined behavior
Date: Wed, 18 Mar 2015 13:13:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: minor
X-Bugzilla-Who: ams at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64491-4-65aykZDePw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64491-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64491-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg01820.txt.bz2
Content-length: 227

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd491

--- Comment #15 from Andrew Stubbs <ams at gcc dot gnu.org> ---
Yeah, I've not managed to come up with a better solution, so I think I'll just
revert the patch, for now. :-(

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[trippels at gcc dot gnu.org]

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

--- Comment #4 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #3)
> Created attachment 35057 [details]
> Suggested patch
> 
> I guess the problem is caused by missing xstdup_for_dump wrappers.
> Can you please Markus test for me the patch?

The patch fixes the issue. Thanks.
>From gcc-bugs-return-480680-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 18 13:18:51 2015
Return-Path: <gcc-bugs-return-480680-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 18530 invoked by alias); 18 Mar 2015 13:18:50 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 18488 invoked by uid 48); 18 Mar 2015 13:18:46 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65222] [5 Regression] -mtune= or -march=: Not all options not documented: slm, knl, shanghai, istanbul
Date: Wed, 18 Mar 2015 13:18:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: documentation
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-65222-4-qSdM58yy65@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65222-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65222-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg01824.txt.bz2
Content-length: 483

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide222

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-18
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[marxin at gcc dot gnu.org]

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Markus Trippelsdorf from comment #4)
> (In reply to Martin Liška from comment #3)
> > Created attachment 35057 [details]
> > Suggested patch
> > 
> > I guess the problem is caused by missing xstdup_for_dump wrappers.
> > Can you please Markus test for me the patch?
> 
> The patch fixes the issue. Thanks.

Thanks. I'm going to send the patch to mailing list.
>From gcc-bugs-return-480685-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 18 13:26:32 2015
Return-Path: <gcc-bugs-return-480685-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 36688 invoked by alias); 18 Mar 2015 13:26:32 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 36617 invoked by uid 48); 18 Mar 2015 13:26:28 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/65243] [5 Regression] lto1 ICE (segfault) on powerpc64le-linux-gnu
Date: Wed, 18 Mar 2015 13:26:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-65243-4-J07m2YV2QR@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65243-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65243-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg01829.txt.bz2
Content-length: 1065

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide243

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|2015-03-02 00:00:00         |2015-03-18
     Ever confirmed|0                           |1

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
The original ICE means that in

inline hashval_t
external_ref_hasher::hash (const value_type *r)
{
  dw_die_ref die = r->type;
  hashval_t h = 0;

  /* We can't use the address of the DIE for hashing, because
     that will make the order of the stub DIEs non-deterministic.  */
  if (! die->comdat_type_p)
    /* We have a symbol; use it to compute a hash.  */
    h = htab_hash_string (die->die_id.die_symbol);

die->die_id.die_symbol is NULL (I suppose).

I suppose the guard means that in non-LTO this _is_ a comdat type.  But
LTO somehow demoted it?

We still lack a proper testcase.

[Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)

[marxin at gcc dot gnu.org]

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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Wed Mar 18 14:16:59 2015
New Revision: 221491

URL: https://gcc.gnu.org/viewcvs?rev=221491&root=gcc&view=rev
Log:
Fix PR ipa/65432

    PR ipa/65432
    * cgraph.c (cgraph_node::get_create): Remove unnecessary
    xstrdup_for_dump wrapper.
    * ipa-icf.c (sem_item::dump): Use symtab_node::name instead of
    sem_item::name.
    (sem_function::equals): Wrap symtab_node::name and symtab_node::asm_name
    with xstrdup_for_dump.
    (sem_variable::equals): Likewise.
    (sem_item_optimizer::read_section): Use symtab_node::name instead of
    sem_item::name.
    (sem_item_optimizer::parse_funcs_and_vars): Likewise.
    (sem_item_optimizer::merge_classes): Wrap symtab_node::name and
    symtab_node::asm_name with xstrdup_for_dump.
    (congruence_class::dump): Use symtab_node::name instead of
    sem_item::name.
    * ipa-icf.h (symtab_node::name): Remove.
    (symtab_node::asm_name): Likewise.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraph.c
    trunk/gcc/ipa-icf.c
    trunk/gcc/ipa-icf.h
>From gcc-bugs-return-480696-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 18 14:22:06 2015
Return-Path: <gcc-bugs-return-480696-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 82520 invoked by alias); 18 Mar 2015 14:22:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 82460 invoked by uid 48); 18 Mar 2015 14:22:01 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/65432] [5 Regression] Invalid read of size 1: ipa_icf::sem_item_optimizer::merge_classes(unsigned int) (ipa-icf.c:2958)
Date: Wed, 18 Mar 2015 14:22:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-65432-4-8LUblGPTQm@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65432-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65432-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg01840.txt.bz2
Content-length: 442

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in 5.0.0.
>From gcc-bugs-return-480698-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 18 14:27:53 2015
Return-Path: <gcc-bugs-return-480698-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 119208 invoked by alias); 18 Mar 2015 14:27:53 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 118672 invoked by uid 55); 18 Mar 2015 14:27:45 -0000
From: "ams at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug testsuite/64032] [5 Regression] FAIL: gcc.dg/undefined-loop-2.c  (test for warnings, line 18)
Date: Wed, 18 Mar 2015 14:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: testsuite
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ams at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: ams at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64032-4-07GZ1zJmIQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64032-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64032-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg01842.txt.bz2
Content-length: 1154

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd032

--- Comment #7 from Andrew Stubbs <ams at gcc dot gnu.org> ---
Author: ams
Date: Wed Mar 18 14:27:13 2015
New Revision: 221492

URL: https://gcc.gnu.org/viewcvs?rev"1492&root=gcc&view=rev
Log:
Fix PR64491

2015-03-18  Andrew Stubbs  <ams@codesourcery.com>

    PR middle-end/64491
    Revert:
    2014-11-20  Andrew Stubbs  <ams@codesourcery.com>

    * tree-ssa-loop-niter.c (maybe_lower_iteration_bound): Warn if a loop
    condition would be removed due to undefined behaviour.

2015-03-18  Andrew Stubbs  <ams@codesourcery.com>

    PR middle-end/64491
    Revert:
    2014-11-20  Andrew Stubbs  <ams@codesourcery.com>

    * gcc.dg/undefined-loop-1.c: New file.
    * gcc.dg/undefined-loop-2.c: New file.

    2014-12-24  Andrew Stubbs  <ams@codesourcery.com>

    PR testsuite/64032
    * gcc.dg/undefined-loop-2.c: Don't allow GCC to optimize away the
    loop exits too early.

Removed:
    trunk/gcc/testsuite/gcc.dg/undefined-loop-1.c
    trunk/gcc/testsuite/gcc.dg/undefined-loop-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-niter.c