public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed
@ 2008-09-10 7:34 anton at samba dot org
2008-09-10 7:37 ` [Bug regression/37456] " anton at samba dot org
` (8 more replies)
0 siblings, 9 replies; 10+ messages in thread
From: anton at samba dot org @ 2008-09-10 7:34 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 988 bytes --]
I get an ICE on PowerPC with the following code on a gcc svn checkout from this
morning:
gcc version 4.4.0 20080909 (experimental) (GCC)
# /root/gcc-installed/bin/g++ -O -ffast-math -c foo.cpp
foo.cpp: In member function void testcase::foo::doit(double, double, double):
foo.cpp:16: error: control flow in the middle of basic block 3
foo.cpp:16: error: control flow in the middle of basic block 3
foo.cpp:16: error: BB 3 can not throw but has EH edges
foo.cpp:16: internal compiler error: verify_flow_info failed
It compiles OK if the -ffast-math flag is not specified.
--
Summary: gcc4.4 ICE: verify_flow_info failed
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: regression
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: anton at samba dot org
GCC host triplet: powerpc-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug regression/37456] gcc4.4 ICE: verify_flow_info failed
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
@ 2008-09-10 7:37 ` anton at samba dot org
2008-09-10 8:15 ` amodra at bigpond dot net dot au
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: anton at samba dot org @ 2008-09-10 7:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from anton at samba dot org 2008-09-10 07:35 -------
Created an attachment (id=16280)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16280&action=view)
Testcase
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug regression/37456] gcc4.4 ICE: verify_flow_info failed
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
2008-09-10 7:37 ` [Bug regression/37456] " anton at samba dot org
@ 2008-09-10 8:15 ` amodra at bigpond dot net dot au
2008-09-10 10:27 ` [Bug regression/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block tbm at gcc dot gnu dot org
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: amodra at bigpond dot net dot au @ 2008-09-10 8:15 UTC (permalink / raw)
To: gcc-bugs
--
amodra at bigpond dot net dot au changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
GCC target triplet| |powerpc-linux
Last reconfirmed|0000-00-00 00:00:00 |2008-09-10 08:14:32
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug regression/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
2008-09-10 7:37 ` [Bug regression/37456] " anton at samba dot org
2008-09-10 8:15 ` amodra at bigpond dot net dot au
@ 2008-09-10 10:27 ` tbm at gcc dot gnu dot org
2008-09-13 12:57 ` [Bug middle-end/37456] " rguenth at gcc dot gnu dot org
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: tbm at gcc dot gnu dot org @ 2008-09-10 10:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from tbm at gcc dot gnu dot org 2008-09-10 10:26 -------
I get the same on x86_64.
--
tbm at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
GCC host triplet|powerpc-linux |
GCC target triplet|powerpc-linux |
Summary|gcc4.4 ICE: verify_flow_info|[4.4 Regression] ICE:
|failed |verify_flow_info failed:
| |control flow in the middle
| |of basic block
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (2 preceding siblings ...)
2008-09-10 10:27 ` [Bug regression/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block tbm at gcc dot gnu dot org
@ 2008-09-13 12:57 ` rguenth at gcc dot gnu dot org
2008-09-14 4:51 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-13 12:57 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|regression |middle-end
Keywords| |ice-on-valid-code
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (3 preceding siblings ...)
2008-09-13 12:57 ` [Bug middle-end/37456] " rguenth at gcc dot gnu dot org
@ 2008-09-14 4:51 ` pinskia at gcc dot gnu dot org
2008-09-15 8:32 ` jakub at gcc dot gnu dot org
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-09-14 4:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from pinskia at gcc dot gnu dot org 2008-09-14 04:50 -------
Here is a reduced testcase without -ffast-math (aka it also applies to integers
:) ):
int zot(int );
struct bar {
~bar() { }
};
int x;
void doit(int a, int b, int c) {
bar pn;
int b1 = zot(a) * c;
int b2 = zot(b) * c;
x = b1 + b2;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (4 preceding siblings ...)
2008-09-14 4:51 ` pinskia at gcc dot gnu dot org
@ 2008-09-15 8:32 ` jakub at gcc dot gnu dot org
2008-09-15 8:39 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-09-15 8:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from jakub at gcc dot gnu dot org 2008-09-15 08:31 -------
This is caused by PR15255 fix, undistribute_ops_list -> build_and_add_sum
happily appends new statements after a throwing statement.
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (5 preceding siblings ...)
2008-09-15 8:32 ` jakub at gcc dot gnu dot org
@ 2008-09-15 8:39 ` rguenth at gcc dot gnu dot org
2008-09-18 11:29 ` rguenth at gcc dot gnu dot org
2008-09-18 11:31 ` rguenth at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-15 8:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2008-09-15 08:38 -------
Mine then.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2008-09-10 08:14:32 |2008-09-15 08:38:13
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (6 preceding siblings ...)
2008-09-15 8:39 ` rguenth at gcc dot gnu dot org
@ 2008-09-18 11:29 ` rguenth at gcc dot gnu dot org
2008-09-18 11:31 ` rguenth at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-18 11:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2008-09-18 11:28 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug middle-end/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
` (7 preceding siblings ...)
2008-09-18 11:29 ` rguenth at gcc dot gnu dot org
@ 2008-09-18 11:31 ` rguenth at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-18 11:31 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2008-09-18 11:29 -------
Subject: Bug 37456
Author: rguenth
Date: Thu Sep 18 11:28:18 2008
New Revision: 140449
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140449
Log:
2008-09-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37456
* tree-ssa-reassoc.c (build_and_add_sum): If the stmt we
want to insert after ends a BB insert on the single fallthru
outgoing edge.
* testsuite/g++.dg/torture/pr37456.C: New testcase.
Added:
trunk/gcc/testsuite/g++.dg/torture/pr37456.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-reassoc.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37456
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2008-09-18 11:31 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-09-10 7:34 [Bug regression/37456] New: gcc4.4 ICE: verify_flow_info failed anton at samba dot org
2008-09-10 7:37 ` [Bug regression/37456] " anton at samba dot org
2008-09-10 8:15 ` amodra at bigpond dot net dot au
2008-09-10 10:27 ` [Bug regression/37456] [4.4 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block tbm at gcc dot gnu dot org
2008-09-13 12:57 ` [Bug middle-end/37456] " rguenth at gcc dot gnu dot org
2008-09-14 4:51 ` pinskia at gcc dot gnu dot org
2008-09-15 8:32 ` jakub at gcc dot gnu dot org
2008-09-15 8:39 ` rguenth at gcc dot gnu dot org
2008-09-18 11:29 ` rguenth at gcc dot gnu dot org
2008-09-18 11:31 ` rguenth at gcc dot gnu dot 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).