Re: [PATCH] middle-end/81035: Mention that noreturn suppresses tail call optimization

[Jeff Law]

On 9/21/18 4:59 AM, Florian Weimer wrote:
> 2018-09-21  Florian Weimer  <fwei...@redhat.com>
> 
>       PR middle-end/81035
>       * doc/extend.texi (Common Function Attributes): Mention that
>       noreturn suppresses tail call optimization.
OK.
jeff