Jeffrey Walton wrote:
This is interesting. The GCC man pages for 3.3.1 (and onwards) says
nothrow is a supported attribute:
https://gcc.gnu.org/onlinedocs/gcc-3.3.1/gcc/Function-Attributes.html
It looks like a copy/paste error.
Sorry, what's "it"? That is, are you saying that the documentation contains a
copy/paste error, or that something else is a copy/paste error?
Also, I am still not seeing why the patch you suggested in
<https://lists.gnu.org/r/bug-gnulib/2019-07/msg00059.html> would fix any problem
with GCC 3.1, as you said in that message. The patch should affect only GCC 3.3,
not GCC 3.1.
The GCC 3.3.4 source code, in gcc-3.3.4/gcc/c-common.c, makes it pretty clear
that the nothrow attribute is supported. Can you investigate why that is not
working for you on your GCC 3.3.4 platform?
Thanks.
