This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: optimization/7520: internal compiler error in verify_local_live_at_start
- From: Reichelt <reichelt at igpm dot rwth-aachen dot de>
- To: gcc-gnats at gcc dot gnu dot org, chr dot breitkopf at magrathea dot de, gcc-bugs at gcc dot gnu dot org, nobody at gcc dot gnu dot org
- Date: Thu, 8 Aug 2002 16:08:47 +0200
- Subject: Re: optimization/7520: internal compiler error in verify_local_live_at_start
Hi,
the bug can be reproduced with the following code snippet:
-------------------------------snip here-------------------------
int foo()
{
int i;
long long int j;
while (1)
{
if (j & 1) ++i;
j >>= 1;
if (j) return i;
}
}
int bar()
{
if (foo()) return;
}
-------------------------------snip here-------------------------
Just compile with "gcc -O3" on an i686-pc-linux-gnu box to get the
following error:
bug.c: In function `bar':
bug.c:17: Internal compiler error in verify_local_live_at_start,
at flow.c:583
Please submit a full bug report, [etc.]
The code is at least questionable as "bar" should return a value.
(The same situation occurs in the original example: "getexposure"
should return an int, but the last return statement does not return
a value.)
Greetings,
Volker Reichelt
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7520