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: law at redhat dot com, <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 31 Jul 2003 12:43:03 -0400 (EDT)
- Subject: Re: [tree-ssa] Remove useless null pointer checks
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.
For java methods, gcj could walk the trees to derive some attributes like
the null-ness of a pointer.
Explicit method attributes via stylized comments seem like they'd be
generally useful too.
Jeff