[PATCH] __attribute__((nonnull))

[Joseph S. Myers]

On Sun, 19 May 2002, Jason R Thorpe wrote:

> +extern void func2 (char *) __attribute__((nonnull(2))); /* { dg-error "references non-pointer" } */

I think this message is too specific for the case of an operand number
that is <= 0 or greater than the number of function parameters, implying
that the parameter is present but of a bad type.  In such a case the
"invalid operand number" message would be better.

-- 
Joseph S. Myers
jsm28@cam.ac.uk