https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83859
--- Comment #4 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- 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.
