From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27057 invoked by alias); 7 Nov 2002 00:20:24 -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 27049 invoked from network); 7 Nov 2002 00:20:23 -0000 Received: from unknown (HELO soliton.integrable-solutions.net) (193.51.208.204) by sources.redhat.com with SMTP; 7 Nov 2002 00:20:23 -0000 Received: (from gdr@localhost) by soliton.integrable-solutions.net (8.11.6/8.11.6/SuSE Linux 0.5) id gA70LJh03551; Thu, 7 Nov 2002 01:21:19 +0100 To: Richard Henderson Cc: Mark Mitchell , Jakub Jelinek , Aldy Hernandez , "gcc-patches@gcc.gnu.org" , "jason@redhat.com" Subject: Re: [basic-improvements] try/finally support for c/c++ - more tests References: <20021106124304.G10988@devserv.devel.redhat.com> <8450000.1036625540@warlock.codesourcery.com> <20021107000307.GQ22215@redhat.com> <20021107001224.GS22215@redhat.com> From: Gabriel Dos Reis In-Reply-To: Richard Henderson's message of "Wed, 6 Nov 2002 16:12:24 -0800" Organization: Integrable Solutions Mime-Version: 1.0 (generated by tm-edit 7.106) Content-Type: text/plain; charset=US-ASCII Date: Wed, 06 Nov 2002 16:20:00 -0000 Message-ID: X-SW-Source: 2002-11/txt/msg00383.txt.bz2 Richard Henderson writes: | On Thu, Nov 07, 2002 at 01:10:57AM +0100, Gabriel Dos Reis wrote: | > | Further, try/catch/rethrow does not express what happens when | > | you use goto/break/continue/return to leave the try block. | > | > Leaving a scope always implies destructors being run for local | > objects. | | Correct. But it doesn't imply running Y in Mark's example. | Which is exactly my point. Let me see if I'm not lost. I assume you're talking of try { X } finally { Y } being translated into (1) try { X } catch (...) { Y; throw; } Y; Right? Maybe I got the same (mis)understanding as Mark that Y should always be run. Am I wrong? -- Gaby