From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-20996-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 8254 invoked by alias); 8 Aug 2002 13:36:03 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 8192 invoked by uid 71); 8 Aug 2002 13:36:03 -0000
Date: Thu, 08 Aug 2002 07:16:00 -0000
Message-ID: <20020808133603.8170.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Reichelt <reichelt@igpm.rwth-aachen.de>
Subject: Re: optimization/7520: internal compiler error in verify_local_live_at_start
Reply-To: Reichelt <reichelt@igpm.rwth-aachen.de>
X-SW-Source: 2002-08/txt/msg00167.txt.bz2
List-Id: <gcc-prs.sourceware.org>

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