Re: Couldn't `function(arg[static 3])` imply nonnull and array size in C?

[Martin Uecker]

Campbell Barton <ideasma...@gmail.com>:
...
> Given the simple function:
> 
> void print_v3(float v[static 3])
> {
>     printf("%f %f %f\n", v[0], v[1], v[2]);
> }
> 
> Calling `foo(NULL);` or `{ float v[2]; foo(v); }` should be able to
> cause a warning, it would be useful since this is a farily

Yes. I want this too! But somebody needs to implement this...


BTW: Why is 'nonnull' a function attribute and not something
which can be attached to pointer types?