forcing tail/sibling call optimization
Jeffrey A Law
law@redhat.com
Sun Nov 26 21:50:00 GMT 2000
In message < 20001126234619.A52E534D80@nile.gnat.com >you write:
> 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 :-)
>
> I think there is real merit in providing fairly formal specifications
> for GNU C enhancements for three reasons.
>
> 1. The attempt to produce a FFS can often reveal difficulties that are
> not apparent in a less formal approach.
I couldn't agree more. The rather informal approach has led to numerous
problems over the years - even for those extensions which are considered
"well documented".
jeff
More information about the Gcc
mailing list