This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Null pointer check elimination
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Per Bothner <per at bothner dot com>
- Cc: gcc at gcc dot gnu dot org, Anthony Green <green at redhat dot com>, java at gcc dot gnu dot org
- Date: Sat, 12 Nov 2005 12:39:23 -0500
- Subject: Re: Null pointer check elimination
- References: <1131747852.3205.105.camel@localhost.localdomain> <200511121216.01403.dnovillo@redhat.com> <437625F9.7020906@bothner.com>
On Saturday 12 November 2005 12:27, Per Bothner wrote:
> I think you're missing the point. The proposal is for a "type variant"
> - not that different from say "constant".
>
Ah, yes, sorry about that. Yes, that would be useful as well. However,
that is an orthogonal issue to having non-NULL function attributes. We
can use both.
If the front end guarantees that all instances of a type are non-NULL, as
in the Ada case just posted, then VRP can and should make use of that.