This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] transform raise into goto
- From: Duncan Sands <baldrick at free dot fr>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Arnaud Charlet <charlet at adacore dot com>, Robert Dewar <dewar at adacore dot com>
- Date: Fri, 6 Apr 2007 13:50:53 +0200
- Subject: Re: [Ada] transform raise into goto
- References: <20070406101642.GA27949@adacore.com>
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)?
Thanks,
Duncan.
PS: I mean just the compiler, not the runtime.