Daniel Frey <d.frey@xxxxxx> 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