This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: forcing tail/sibling call optimization
- To: dewar at gnat dot com (Robert Dewar)
- Subject: Re: forcing tail/sibling call optimization
- From: Fergus Henderson <fjh at cs dot mu dot oz dot au>
- Date: Mon, 27 Nov 2000 13:07:58 +1100
- Cc: bernds at redhat dot com, gcc at gcc dot gnu dot org
- References: <20001126234619.A52E534D80@nile.gnat.com>
On 26-Nov-2000, Robert Dewar <dewar@gnat.com> wrote:
> Note that if you want to make a warning message a formal requirement,
> then you must provide a formal definition of what a warning message is,
> and I do not think you want to get into that sort of thing :-)
It's not hard to give a formal definition for warnings, at least to
the level of precision used in the C standard. But that discussion is
probably not appropriate for this forum.
> I think there is real merit in providing fairly formal specifications
> for GNU C enhancements
I agree.
--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.