public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [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
@ 2014-06-07 6:10 su at cs dot ucdavis.edu
2014-06-10 10:08 ` [Bug tree-optimization/61438] [4.10 Regression] " rguenth at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: su at cs dot ucdavis.edu @ 2014-06-07 6:10 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [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
2014-06-07 6:10 [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
@ 2014-06-10 10:08 ` rguenth at gcc dot gnu.org
2014-06-10 14:19 ` rguenth at gcc dot gnu.org
2014-06-10 14:42 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 10:08 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [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
2014-06-07 6:10 [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
2014-06-10 10:08 ` [Bug tree-optimization/61438] [4.10 Regression] " rguenth at gcc dot gnu.org
@ 2014-06-10 14:19 ` rguenth at gcc dot gnu.org
2014-06-10 14:42 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 14:19 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* [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
2014-06-07 6:10 [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
2014-06-10 10:08 ` [Bug tree-optimization/61438] [4.10 Regression] " rguenth at gcc dot gnu.org
2014-06-10 14:19 ` rguenth at gcc dot gnu.org
@ 2014-06-10 14:42 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 14:42 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2014-06-10 14:42 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-07 6:10 [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
2014-06-10 10:08 ` [Bug tree-optimization/61438] [4.10 Regression] " rguenth at gcc dot gnu.org
2014-06-10 14:19 ` rguenth at gcc dot gnu.org
2014-06-10 14:42 ` rguenth at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).