From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-82164-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 13876 invoked by alias); 1 Sep 2003 13:18:25 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 13868 invoked from network); 1 Sep 2003 13:18:24 -0000
Received: from unknown (HELO dublin.act-europe.fr) (212.157.227.154)
  by sources.redhat.com with SMTP; 1 Sep 2003 13:18:24 -0000
Received: from localhost (localhost [127.0.0.1])
	by amavis.act-europe.fr (Postfix) with ESMTP
	id C0A72229E07; Mon,  1 Sep 2003 15:18:23 +0200 (MET DST)
Received: from dublin.act-europe.fr ([127.0.0.1])
 by localhost (dublin.act-europe.fr [127.0.0.1:10024]) (amavisd-new)
 with ESMTP id 26753-09; Mon,  1 Sep 2003 15:18:15 +0200 (MET DST)
Received: from rome.int.act-europe.fr (rome.act-europe.fr [10.10.0.148])
	by dublin.act-europe.fr (Postfix) with ESMTP
	id CAE35229E0D; Mon,  1 Sep 2003 15:18:14 +0200 (MET DST)
Received: by rome.int.act-europe.fr (Postfix, from userid 546)
	id 9FF5E1D174; Mon,  1 Sep 2003 13:18:14 +0000 (UTC)
Date: Mon, 01 Sep 2003 13:18:00 -0000
From: Olivier Hainque <hainque@act-europe.fr>
To: Richard Henderson <rth@redhat.com>,
	Richard Kenner <kenner@vlsi1.ultra.nyu.edu>, gcc@gcc.gnu.org
Cc: hainque@act-europe.fr
Subject: Re: Problem in split_basic_block
Message-ID: <20030901151814.A12019@rome.int.act-europe.fr>
References: <10308062258.AA03807@vlsi1.ultra.nyu.edu> <20030808211916.GC4310@redhat.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
In-Reply-To: <20030808211916.GC4310@redhat.com>; from rth@redhat.com on Fri, Aug 08, 2003 at 02:19:16PM -0700
X-Virus-Scanned: by amavisd-new
X-SW-Source: 2003-09/txt/msg00022.txt.bz2


Hello,

Richard Henderson wrote:
> [sherman:/scratch/rth/build/vms/gcc/ada] ../gnat1 -O2 [...] a-calend.adb
> 
> So was I expecting a crash, or something?
 
We now understand why you did not see the crash with Ada, and eventually came
up with a tiny C++ testcase exhibiting the issue Richard Kenner raised.

Using the same compiler, could you please try to compile the reproducer below
with -fnon-call-exceptions:

     // foo.cc
     void hook (void)
     {
     }

     void foo (void)
     {
       int x, y;

       try {
	 y = 0;
       } catch (...) {
	 hook ();
       }
     }

We are seeing this:

 $ ./cc1plus -fnon-call-exceptions foo.cc
 void hook()
 void hook()
 void foo()
 void foo()

foo.cc:15: error: Call edges for non-call insn in bb 9
foo.cc:15: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Thanks in advance,

Olivier