This is the mail archive of the java@gcc.gnu.org mailing list for the Java project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

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.

Follow-Ups:
- Re: Null pointer check elimination
  - From: Gabriel Dos Reis

References:
- Null pointer check elimination
  - From: Anthony Green
- Re: Null pointer check elimination
  - From: Diego Novillo
- Re: Null pointer check elimination
  - From: Per Bothner

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]