https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110878
--- Comment #3 from Taylor R Campbell <campbell+gcc-bugzilla at mumble dot net> --- (In reply to Andrew Pinski from comment #1) > There is another bug report dealing with this. But IIRC this is an expected > warning as foo is being passed an array which is size 16 but then passed to > bar as size 128 which would be undefined. There is nothing undefined here. The caller's requirement as noted in the comment (which is not formally expressible in C, as far as I know, but is obviously extremely widespread practice) is that for foo(p, n) or bar(p, n), p must point to the first element of an array of at least n elements. foo additionally imposes the requirement that p have at least 16 elements. bar additionally imposes the requirement that p have at least 128 elements. When the caller meets foo's contract, foo meets bar's contract. So there is nothing undefined. >From C11, Sec. 6.7.6.3 `Function declarators (including prototypes)', paragraph 7, p. 133: > A declaration of a parameter as ``array of type'' shall be adjusted > to ``qualified pointer to type'', where the type qualifiers (if any) > are those specified within the [ and ] of the array type derivation. > If the keyword static also appears within the [ and ] of the array > type derivation, then for each call to the function, the value of the > corresponding actual argument shall provide access to the first > element of an array with at least as many elements as specified by > the size expression. Here, as required, the value of the corresponding actual argument does provide access to the first element of an array with at least as many elements as specified by the size expression. In other words, this states a requirement about run-time values, which the code meets, not about compile-time parameter declarations, which is what GCC appears to object to. (In reply to Andrew Pinski from comment #2) > This is basically a dup of bug 108154 I think. That one appears to be different: it trips -Wstringop-overread, not -Wstringop-overflow.
