This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Null pointer check elimination
- From: Paul Brook <paul at codesourcery dot com>
- To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- Cc: gcc at gcc dot gnu dot org,Per Bothner <per at bothner dot com>,Anthony Green <green at redhat dot com>,java at gcc dot gnu dot org
- Date: Sat, 12 Nov 2005 22:05:17 +0000
- Subject: Re: Null pointer check elimination
- References: <1131747852.3205.105.camel@localhost.localdomain> <200511121844.39149.paul@codesourcery.com> <m3slu1vb2x.fsf@uniton.integrable-solutions.net>
On Saturday 12 November 2005 20:57, Gabriel Dos Reis wrote:
> Paul Brook <paul@codesourcery.com> writes:
> | On Saturday 12 November 2005 18:32, Gabriel Dos Reis wrote:
> | > Per Bothner <per@bothner.com> writes:
> | > | A "function-never-returns-null" attribute doesn't seem like
> | > | the right mechanism. Instead, there should be a "never-null"
> | > | attribute on pointer types. A "function-never-returns-null" is
> | > | just a function whose return-type has the "never-null" attribute.
> | >
> | > We already have such mechanism: a reference type
> |
> | No. We've had this discussion before, and the conclusion what that
> | reference types can be NULL.
> |
> | http://gcc.gnu.org/ml/gcc-patches/2004-08/msg01463.html
>
> That simply means GCC got it wrong.
If by "GCC got it wrong" you mean several key GCC developers disagree with
your opinion of what the semantics of REFERENCE_TYPE are/should be, then yes.
Paul