From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25029 invoked by alias); 7 Nov 2002 01:48:42 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 25022 invoked from network); 7 Nov 2002 01:48:40 -0000 Received: from unknown (HELO mulga.cs.mu.OZ.AU) (128.250.1.22) by sources.redhat.com with SMTP; 7 Nov 2002 01:48:40 -0000 Received: from ceres.cs.mu.oz.au (mail@ceres.cs.mu.OZ.AU [128.250.25.4]) by mulga.cs.mu.OZ.AU with ESMTP id MAA24030; Thu, 7 Nov 2002 12:48:32 +1100 (EST) Received: from fjh by ceres.cs.mu.oz.au with local (Exim 3.35 #1 (Debian)) id 189bma-0001Dp-00; Thu, 07 Nov 2002 12:48:32 +1100 Date: Wed, 06 Nov 2002 17:48:00 -0000 From: Fergus Henderson To: Richard Henderson , Aldy Hernandez , "Joseph S. Myers" , gcc-patches@gcc.gnu.org, jakub@redhat.com, jason@redhat.com Subject: Re: [basic-improvements] try/finally support for c/c++ Message-ID: <20021107014832.GC4193@ceres.cs.mu.oz.au> References: <20021106070622.GA31658@redhat.com> <20021106183215.GE7736@redhat.com> <20021106185333.GF22066@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021106185333.GF22066@redhat.com> User-Agent: Mutt/1.3.28i X-SW-Source: 2002-11/txt/msg00395.txt.bz2 On 06-Nov-2002, Richard Henderson wrote: > longjmp pretty much bypasses all the logic one would care to > ask about. I would say that such would have to be undefined. There > is mention in the IA-64 psABI docs of a separate longjmp_unwind > function that _is_ EH aware, but that's the exception not the rule. > So leaving a try block via longjmp is going to have to be undefined. Undefined behaviour is pretty drastic. Would it be sufficient to just make it implementation-defined whether or not longjmp() invokes cleanups (i.e. destructors and finally blocks)? -- Fergus Henderson | "I have always known that the pursuit The University of Melbourne | of excellence is a lethal habit" WWW: | -- the last words of T. S. Garp.