This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 25512: pointer overflow defined?
Gabriel Dos Reis wrote:
That is depressing :-/
cheer up there are worse things in life :-)
I provided quotes in
http://gcc.gnu.org/ml/gcc/2005-12/msg00644.html
-- Gaby
Yes, indeed your quotes were clear. An interesting issue is what is
the meaning of "documentation" in a formal standard? There are
similar requirements for documentation in the Ada standard, and
in some cases we take the position that the sources are part of our
documentation, and the information is thus documented and available.
It might not be convenient, but the standard does not say
conveniently documented, and if it did that would be even more
absurd from a formal semantic point of view :-)