This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Remove useless null pointer checks
- From: Jeff Sturm <jsturm at one-point dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Andrew Haley <aph at redhat dot com>, Jeff Law <law at redhat dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 31 Jul 2003 13:15:24 -0400 (EDT)
- Subject: Re: [tree-ssa] Remove useless null pointer checks
On 31 Jul 2003, Diego Novillo wrote:
> On Thu, 2003-07-31 at 12:43, Jeff Sturm wrote:
> > On Thu, 31 Jul 2003, Andrew Haley wrote:
> > > We need a way to mark such an attribute in Java source. We don't have
> > > an attribute syntax and we want to stay Java compatible. Stylized
> > > comments, perhaps?
> >
> > I was thinking primarily of library functions like _Jv_AllocObject. Since
> > they are declared in the frontend, we can assign any attributes we like.
> >
> C++'s new() operator could be similarly marked, right?
Probably. The two interesting things about "new" memory are that it
cannot alias anything and cannot be null. For the former we could set the
"malloc" attribute of the call (though gcj doesn't do that currently).
Would it be worthwhile to express this in GIMPLE, i.e. NEW_EXPR?
Jeff