[Bug c/21774] New: mainline internal compiler error: verify_flow_info failed
uttamp at us dot ibm dot com
gcc-bugzilla@gcc.gnu.org
Thu May 26 23:33:00 GMT 2005
GCC mainline gets an internal compiler error compiling following minimized code
with either -O2 -m32 or -O2 -m64.
struct estruct
{
int co;
int or;
char ma;
};
void f1 (int pos1, int pos2, struct estruct *ed)
{
int k;
for (k = 0; k == 0; k++)
if (ed[pos2].co == ed[pos1].co && (!ed[pos2].ma || !ed[pos1].ma))
f1 (pos2, 0, ed);
}
$ /opt/gcc-nightly/mline-20050525/bin/gcc -O2 -c bug.c
-- OR --
$ /opt/gcc-nightly/mline-20050525/bin/gcc -O2 -m64 -c bug.
bug.c: In function ‘f1’:
bug.c:15: error: Wrong amount of branch edges after unconditional jump 0
bug.c:15: error: verify_flow_info: Incorrect blocks for fallthru 0->6
bug.c:15: internal compiler error: verify_flow_info failed
The failures start with this patch from dnovillo:
http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg00529.html
--
Summary: mainline internal compiler error: verify_flow_info
failed
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: uttamp at us dot ibm dot com
CC: dnovillo at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
dot org
GCC build triplet: powerpc64-linux
GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21774
More information about the Gcc-bugs
mailing list