public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !)
@ 2013-04-30 9:42 antoine.balestrat at gmail dot com
2013-04-30 11:49 ` [Bug tree-optimization/57122] [4.9 Regression] " mpolacek at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: antoine.balestrat at gmail dot com @ 2013-04-30 9:42 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57122
Bug #: 57122
Summary: ICE in verify_loop_structure, at cfgloop.c:1647 (loop
n’s latch does not have an edge to its header !)
Classification: Unclassified
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: antoine.balestrat@gmail.com
Using GCC 4.9.0 as of 20130430 :
$ cat latch.c
unsigned a;
int b, c;
void f(void)
{
if(a)
{
for(a = 0; a < 2; a++)
a /= 7;
for(;; a++)
{
if(a)
lbl1:
b++;
if(c)
goto lbl1;
lbl2:
;
}
}
goto lbl2;
}
$ xgcc -O2 -w latch.c
latch.c: In function ‘f’:
latch.c:4:6: error: loop 2’s latch does not have an edge to its header
void f(void)
^
latch.c:4:6: internal compiler error: in verify_loop_structure, at
cfgloop.c:1647
0x61aba5 verify_loop_structure()
../../srcdir/gcc/cfgloop.c:1647
0x7fe2ad loop_optimizer_init(unsigned int)
../../srcdir/gcc/loop-init.c:110
0xa3cf4d do_pre
../../srcdir/gcc/tree-ssa-pre.c:4708
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.
>From gcc-bugs-return-421253-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 30 09:54:54 2013
Return-Path: <gcc-bugs-return-421253-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5856 invoked by alias); 30 Apr 2013 09:54:54 -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 5808 invoked by uid 48); 30 Apr 2013 09:54:52 -0000
From: "skannan at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug web/50642] onlinedocs formated text too small to read
Date: Tue, 30 Apr 2013 09:54:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: web
X-Bugzilla-Keywords: documentation
X-Bugzilla-Severity: normal
X-Bugzilla-Who: skannan at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-50642-4-tRTSAlXytK@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50642-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50642-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-04/txt/msg02398.txt.bz2
Content-length: 644
http://gcc.gnu.org/bugzilla/show_bug.cgi?idP642
--- Comment #9 from Shakthi Kannan <skannan at redhat dot com> 2013-04-30 09:54:50 UTC ---
Created attachment 29978
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id)978
Override @smallexample attributes
The attached patch overrides the default @smallexample attributes defined by
makeinfo. It includes a html.css file where the smallexample attributes are
defined to use a medium font size with a light blue background for readability
and clarity.
The patch has also been sent to the gcc-patches mailing list:
http://gcc.gnu.org/ml/gcc-patches/2013-04/msg01766.html
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/57122] [4.9 Regression] ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !)
2013-04-30 9:42 [Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !) antoine.balestrat at gmail dot com
@ 2013-04-30 11:49 ` mpolacek at gcc dot gnu.org
2013-04-30 12:05 ` mpolacek at gcc dot gnu.org
2013-04-30 15:04 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2013-04-30 11:49 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57122
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-04-30
CC| |mpolacek at gcc dot gnu.org
Known to work| |4.8.1
Summary|ICE in |[4.9 Regression] ICE in
|verify_loop_structure, at |verify_loop_structure, at
|cfgloop.c:1647 (loop n’s |cfgloop.c:1647 (loop n’s
|latch does not have an edge |latch does not have an edge
|to its header !) |to its header !)
Ever Confirmed|0 |1
Known to fail| |4.9.0
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-30 11:49:33 UTC ---
Confirmed.
>From gcc-bugs-return-421276-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 30 11:50:47 2013
Return-Path: <gcc-bugs-return-421276-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 21663 invoked by alias); 30 Apr 2013 11:50:47 -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 21621 invoked by uid 48); 30 Apr 2013 11:50:45 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/57122] [4.9 Regression] ICE in verify_loop_structure, at cfgloop.c:1647 (=?UTF-8?Q?loop n’s latch does not have an edge to its header !?=)
Date: Tue, 30 Apr 2013 11:50:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Changed-Fields: Status AssignedTo Target Milestone
Message-ID: <bug-57122-4-yn2sWp8FoB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57122-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57122-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-04/txt/msg02421.txt.bz2
Content-length: 590
http://gcc.gnu.org/bugzilla/show_bug.cgi?idW122
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |rguenth at gcc dot gnu.org
|gnu.org |
Target Milestone|--- |4.9.0
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-30 11:50:44 UTC ---
Mine.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/57122] [4.9 Regression] ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !)
2013-04-30 9:42 [Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !) antoine.balestrat at gmail dot com
2013-04-30 11:49 ` [Bug tree-optimization/57122] [4.9 Regression] " mpolacek at gcc dot gnu.org
@ 2013-04-30 12:05 ` mpolacek at gcc dot gnu.org
2013-04-30 15:04 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2013-04-30 12:05 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57122
--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-30 12:05:15 UTC ---
Started with http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=198333 aka
loops preservation patch.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/57122] [4.9 Regression] ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !)
2013-04-30 9:42 [Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !) antoine.balestrat at gmail dot com
2013-04-30 11:49 ` [Bug tree-optimization/57122] [4.9 Regression] " mpolacek at gcc dot gnu.org
2013-04-30 12:05 ` mpolacek at gcc dot gnu.org
@ 2013-04-30 15:04 ` rguenth at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-04-30 15:04 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57122
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-30 15:04:20 UTC ---
Author: rguenth
Date: Tue Apr 30 15:03:58 2013
New Revision: 198456
URL: http://gcc.gnu.org/viewcvs?rev=198456&root=gcc&view=rev
Log:
2013-04-30 Richard Biener <rguenther@suse.de>
PR middle-end/57122
* cfghooks.c (split_edge): Properly check for the loop
latch edge.
* gcc.dg/torture/pr57122.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.dg/torture/pr57122.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfghooks.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2013-04-30 15:04 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-04-30 9:42 [Bug tree-optimization/57122] New: ICE in verify_loop_structure, at cfgloop.c:1647 (loop n’s latch does not have an edge to its header !) antoine.balestrat at gmail dot com
2013-04-30 11:49 ` [Bug tree-optimization/57122] [4.9 Regression] " mpolacek at gcc dot gnu.org
2013-04-30 12:05 ` mpolacek at gcc dot gnu.org
2013-04-30 15:04 ` 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).