This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [Ada] transform raise into goto

From: Robert Dewar <dewar at adacore dot com>
To: Duncan Sands <baldrick at free dot fr>
Cc: gcc-patches at gcc dot gnu dot org, Arnaud Charlet <charlet at adacore dot com>
Date: Fri, 06 Apr 2007 07:57:28 -0400
Subject: Re: [Ada] transform raise into goto
References: <20070406101642.GA27949@adacore.com> <200704061350.55806.baldrick@free.fr>

Duncan Sands wrote:

Hi Arnaud,

This patch implements the transformation of raise statements into goto
statements in cases where this is possible semantically. A new restriction
No_Exception_Propagation triggers this transformation. This restriction
has the following effects:


this is great new functionality!  Is it conceivable that the compiler
itself could be built using this (and still work properly)?


No certainly not, there are plenty of places in the compiler which
depend on exception propagation.

References:
- [Ada] transform raise into goto
  - From: Arnaud Charlet
- Re: [Ada] transform raise into goto
  - From: Duncan Sands

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]