Re: [PATCH] basename-lgpl: Declare functions with nonnull attributes.

[Bruno Haible via Gnulib discussion list]

Collin Funk wrote:
> -extern size_t base_len (char const *filename) _GL_ATTRIBUTE_PURE;
> +extern size_t base_len (char const *filename) _GL_ATTRIBUTE_PURE
> +  _GL_ATTRIBUTE_NONNULL ();

Why do you omit the argument number? Why don't you write
    _GL_ATTRIBUTE_NONNULL ((1));
?

Likewise for last_component.

Bruno