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, java at gcc dot gnu dot org
Date: Sat, 12 Nov 2005 19:04:18 -0500
Subject: Re: Null pointer check elimination
References: <1131747852.3205.105.camel@localhost.localdomain> <200511121533.20088.dnovillo@redhat.com> <43765A89.4060601@bothner.com>

On Saturday 12 November 2005 16:11, Per Bothner wrote:

> I'm clearly not explaining myself ...
>
Well, it doesn't help that I'm not really good at language stuff, so don't 
worry and thanks for putting up with the silly questions.

> However, ideally the compiler should realize that x actually has
> the more specific type 'int __attribute__((never_null)) *', and
> should use that information to generate better code.  It seems
> this should be straightforward using SSA, as I sketched in my
> previous message.
>
Aha, yes, that's fine then.

I'll defer the decision of type vs function attribute to you folks.  
However you end up marking it, that will only mean a couple line change in 
VRP.

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]