On Fri, 11 Oct 2013, Marc Glisse wrote:

On Fri, 11 Oct 2013, Jakub Jelinek wrote:

OT, do you plan to define ATTRIBUTE_RETURNS_NONNULL for
GCC_VERSION >= 4009 in ansidecl.h and use it on the various xmalloc
etc. prototypes?

I was planning to at least have a look at some point. I can do that now.

I notice that our definition:

#  define ATTRIBUTE_NONNULL(m) __attribute__ ((__nonnull__ (m)))

is not very convenient.

I can't get the no-argument version of nonnull, and if I want to specify 2 non-null arguments, I have to specify the attribute twice. IMHO this definition would have been more convenient:

#  define ATTRIBUTE_NONNULL(m) __attribute__ ((__nonnull__ m))

but I guess it is too late to change that.

--
Marc Glisse

Reply via email to