On Wed, 9 Apr 2014, Jason Merrill wrote:
Hmm, I would expect the parameter numbering for attribute nonnull and such to ignore the 'this' parameter.
The doc for the "format" attribute says clearly:"Since non-static C++ methods have an implicit this argument, the arguments of such methods should be counted from two, not one, when giving values for string-index and first-to-check."
It would be strange to count arguments differently for different attributes.
-- Marc Glisse