This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC 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: Andrew Haley <aph at redhat dot com>
To: Diego Novillo <dnovillo at redhat dot com>
Cc: gcc at gcc dot gnu dot org, 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 17:19:13 +0000
Subject: Re: Null pointer check elimination
References: <1131747852.3205.105.camel@localhost.localdomain><1131813488.7465.140.camel@linux.site><437620D9.9090701@bothner.com><200511121216.01403.dnovillo@redhat.com>

Diego Novillo writes:
 > On Saturday 12 November 2005 12:05, Per Bothner wrote:
 > > A "function-never-returns-null" attribute doesn't seem like
 > > the right mechanism.  Instead, there should be a "never-null"
 > > attribute on pointer types.  A "function-never-returns-null" is
 > > just a function whose return-type has the "never-null" attribute.
 > >
 > I disagree.  We would have to prove that every possible instance of this 
 > type is non-NULL.

Couldn't we attach an assertion to the tree?  That way we could just
use the inference logic we already have.

Andrew.

Follow-Ups:
- Re: Null pointer check elimination
  - From: Diego Novillo

References:
- Re: Null pointer check elimination
  - From: Daniel Berlin
- Re: Null pointer check elimination
  - From: Per Bothner
- 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]