[Bug tree-optimization/61438] New: ICE on valid code at -O3 on x86_64-linux-gnu in in loop_preheader_edge, at cfgloop.c:1668

[Bug tree-optimization/61438] New: ICE on valid code at -O3 on x86_64-linux-gnu in in loop_preheader_edge, at cfgloop.c:1668

[su at cs dot ucdavis.edu]

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

            Bug ID: 61438
           Summary: ICE on valid code at -O3 on x86_64-linux-gnu in in
                    loop_preheader_edge, at cfgloop.c:1668
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: su at cs dot ucdavis.edu

The following code causes an ICE when compiled with the current gcc trunk at
-O3 on x86_64-linux-gnu in both 32-bit and 64-bit modes.

It is a regression from 4.9.x.


$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 4.10.0 20140606 (experimental) [trunk revision 211322] (GCC) 
$ 
$ gcc-trunk -O2 small.c; a.out
$ gcc-4.9.0 -O3 small.c; a.out
$ 
$ gcc-trunk -O3 small.c
small.c: In function ‘foo’:
small.c:12:1: internal compiler error: in loop_preheader_edge, at
cfgloop.c:1668
 foo ()
 ^
0x62e9ce loop_preheader_edge(loop const*)
    ../../gcc-trunk/gcc/cfgloop.c:1668
0xa3a6e0 block_before_loop
    ../../gcc-trunk/gcc/tree-scalar-evolution.h:48
0xa3a6e0 analyze_scalar_evolution(loop*, tree_node*)
    ../../gcc-trunk/gcc/tree-scalar-evolution.c:2042
0xa3b9ea analyze_scalar_evolution_in_loop
    ../../gcc-trunk/gcc/tree-scalar-evolution.c:2139
0xa3bb4f simple_iv(loop*, loop*, tree_node*, affine_iv*, bool)
    ../../gcc-trunk/gcc/tree-scalar-evolution.c:3244
0xae08a9 eliminate_dom_walker::before_dom_children(basic_block_def*)
    ../../gcc-trunk/gcc/tree-ssa-pre.c:4217
0xe94927 dom_walker::walk(basic_block_def*)
    ../../gcc-trunk/gcc/domwalk.c:177
0xadd372 eliminate
    ../../gcc-trunk/gcc/tree-ssa-pre.c:4451
0xadd7c3 execute
    ../../gcc-trunk/gcc/tree-ssa-pre.c:4867
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$ 


---------------------------------


#include <assert.h>

int a, c, **d, e, g;
static int b = 1;

struct
{
  int f0;
} f;

void
foo ()
{
  int h, *i = &a;
  for (; e;)
    {
      for (c = 0; c < 1; c++)
    for (; b;)
      ;
      for (;;)
    {
      if (a)
        {
          for (; f.f0; f.f0++)
        ;
          if (g)
        break;
        }
      for (h = 0; h < 2; h++)
        {
          i = *d;
          assert (i);
        }
    }
    }
  assert (i);
}

int
main ()
{
  foo (); 
  return 0;
}
>From gcc-bugs-return-453438-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jun 07 06:35:35 2014
Return-Path: <gcc-bugs-return-453438-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2527 invoked by alias); 7 Jun 2014 06:35:35 -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 2511 invoked by uid 48); 7 Jun 2014 06:35:31 -0000
From: "jim at garrison dot cc" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/61439] New: contrib/download_prerequisites script does not verify integrity of packages
Date: Sat, 07 Jun 2014 06:35:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jim at garrison dot cc
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-61439-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: 2014-06/txt/msg00520.txt.bz2
Content-length: 781

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

            Bug ID: 61439
           Summary: contrib/download_prerequisites script does not verify
                    integrity of packages
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jim at garrison dot cc

The InstallingGCC page on the wiki recommends the use of the
contrib/download_prerequisites script for fetching gcc's dependencies.
However, the script fails to check the integrity of the downloaded files.
Since it downloads specific versions of packages, perhaps it would be best to
check against the known hash of each tarball.

[Bug tree-optimization/61438] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in in loop_preheader_edge, at cfgloop.c:1668

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-06-10
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.10.0
            Summary|ICE on valid code at -O3 on |[4.10 Regression] ICE on
                   |x86_64-linux-gnu in in      |valid code at -O3 on
                   |loop_preheader_edge, at     |x86_64-linux-gnu in in
                   |cfgloop.c:1668              |loop_preheader_edge, at
                   |                            |cfgloop.c:1668
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/61438] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in in loop_preheader_edge, at cfgloop.c:1668

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jun 10 14:18:50 2014
New Revision: 211413

URL: http://gcc.gnu.org/viewcvs?rev=211413&root=gcc&view=rev
Log:
2014-06-10  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/61438
    * tree-ssa-pre.c (eliminate_dom_walker): Add do_pre member.
    (eliminate_dom_walker::before_dom_children): Only try to inhibit
    insertion of IVs if running PRE.
    (eliminate): Adjust.
    (pass_pre::execute): Likewise.
    (pass_fre::execute): Likewise.

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

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr61438.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c

[Bug tree-optimization/61438] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in in loop_preheader_edge, at cfgloop.c:1668

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.