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: Andrew Haley <aph at redhat dot com>
- Cc: Diego Novillo <dnovillo 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:26:44 -0400 (EDT)
- Subject: Re: [tree-ssa] Remove useless null pointer checks
On Thu, 31 Jul 2003, Andrew Haley wrote:
> > Would it be worthwhile to express this in GIMPLE, i.e. NEW_EXPR?
>
> But there are many standard library methods that cannot return NULL;
> they either return an object reference or throw an exception. So
> NEW_EXPR is too specific.
True, but for java methods the optimizers could learn a lot from the
trees. As in Jeff's my_malloc example.
Jeff