https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |egallager at gcc dot gnu.org
--- Comment #7 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to jos...@codesourcery.com from comment #4)
> On Mon, 15 Jan 2018, msebor at gcc dot gnu.org wrote:
>
> > 1) How to annotate constant size buffers. I'd like to be able to express
> > that
> > a function requires a buffer of at least N elements without making N an
> > argument to the function. E.g., annotate the declaration 'void f (int[2])'
> > to
> > let GCC understand that it requires an array of at least 2 ints.
>
> "void f (int[static 2])" means that; no GNU-specific syntax is needed.
For that to be useful, both bug 50584 and bug 67793 would have to be fixed
