forcing tail/sibling call optimization

[Fergus Henderson]

On 26-Nov-2000, Robert Dewar <dewar@gnat.com> wrote:
> >       Implementations shall issue a warning if there are any tail call
> >       statements for which the implementation is unable to follow
> >       the implementation advice.
> 
> Are there precedents in either ANSI C or GNU C for requiring warnings.

In ANSI/ISO C: no.  But the ANSI/ISO C standard is not a good model
for how to write specifications.

In GNU C: yes.  For example, many parts of the GNU C manual say
that if a certain option is enabled, the compiler will issue
certain warnings.  If the GNU C manual is treated as a specification,
these parts of the manual are definitely requirements on the compiler.

-- 
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.