attribute nonnull/expect_nonnull for return value?

[Ian Lance Taylor]

Daniel Frey <d.frey@gmx.de> writes:

> GCC now knows that the arguments are nonnull, but how to I tell the
> compiler that the returned pointer is nonnull? Or if null is allowed
> but only the exception to the rule, I would like to tell the compiler
> that is should *expect* the pointer to be nonnull, but not disallow
> null. Actually, the second case is more important to me, but I think
> both should be possible.

At present, as far as I know, there is no way to do either.

Ian