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: gcc at gcc dot gnu dot org
Cc: Laurent GUERBY <laurent at guerby dot net>, 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 12:30:34 -0500
Subject: Re: Null pointer check elimination
References: <1131747852.3205.105.camel@localhost.localdomain> <437620D9.9090701@bothner.com> <1131816266.6774.940.camel@pc.site>

On Saturday 12 November 2005 12:24, Laurent GUERBY wrote:
> Note that this correspond to the "not null" feature added to Ada 2006
> in various places, including pointer type definitions:
>
>    type Ptr is not null access Integer;
>
Ah, this is different and it would be very helpful.  If it's a language 
mandated thing, then VRP could just rely in this type attribute and 
default to 'non-zero' when it can't infer any other useful value.

Follow-Ups:
- Re: Null pointer check elimination
  - From: Laurent GUERBY

References:
- Null pointer check elimination
  - From: Anthony Green
- Re: Null pointer check elimination
  - From: Per Bothner
- Re: Null pointer check elimination
  - From: Laurent GUERBY

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