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
On 31 Jul 2003 13:33:19 -0700, Geoff Keating <geoffk@geoffk.org> wrote:
> Jeff Sturm <jsturm@one-point.com> writes:
>
>> A related question came up just the other day on the java list. There are
>> often-called functions (e.g. allocators) in libgcj that cannot return
>> null. Is there a good way to tell the tree optimizers about these, to
>> eliminate even more useless null pointer checks?
>
> Isn't there an attribute((nonnull))?
Yes, but it seems to deal with function args, rather than return value. It
does seem odd to look at one and not the other.
Jason