optimization/7520: internal compiler error in verify_local_live_at_start

[Reichelt]

The following reply was made to PR optimization/7520; it has been noted by GNATS.

From: Reichelt <reichelt@igpm.rwth-aachen.de>
To: gcc-gnats@gcc.gnu.org, chr.breitkopf@magrathea.de, gcc-bugs@gcc.gnu.org,
        nobody@gcc.gnu.org
Cc:  
Subject: Re: optimization/7520: internal compiler error in verify_local_live_at_start
Date: Thu, 8 Aug 2002 16:08:47 +0200

 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