This is the mail archive of the gcc@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]

Re: forcing tail/sibling call optimization


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.

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