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: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Diego Novillo <dnovillo at redhat dot com>
Cc: Per Bothner <per at bothner dot com>, gcc at gcc dot gnu dot org, Anthony Green <green at redhat dot com>, java at gcc dot gnu dot org
Date: 12 Nov 2005 21:58:46 +0100
Subject: Re: Null pointer check elimination
References: <1131747852.3205.105.camel@localhost.localdomain><200511121239.23599.dnovillo@redhat.com><m3slu1ww6l.fsf@uniton.integrable-solutions.net><200511121352.54076.dnovillo@redhat.com>

Diego Novillo <dnovillo@redhat.com> writes:

| On Saturday 12 November 2005 13:36, Gabriel Dos Reis wrote:
| 
| > I'm not convinced.  I believe Per's suggestion is far superior, and
| > more general and does cover pretty well the issue at hand.  Plus,
| > a pointer-type-without-null is another spelling for reference type.
| >
| I'm thinking of C here, where we don't have that luxury.

I know you're thinking of C. But we're talking about implementatin
here.  We have the luxury to -- and we must -- introduce types that
are not expressible at the pure C source level.  

-- Gaby

References:
- Null pointer check elimination
  - From: Anthony Green
- Re: Null pointer check elimination
  - From: Diego Novillo
- Re: Null pointer check elimination
  - From: Gabriel Dos Reis
- Re: Null pointer check elimination
  - From: Diego Novillo

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