[Bug middle-end/101836] __builtin_object_size(P->M, 1) where M is an array and the last member of a struct fails

kees at outflux dot net gcc-bugzilla@gcc.gnu.org
Sat Jun 11 08:21:58 GMT 2022


--- Comment #17 from Kees Cook <kees at outflux dot net> ---
(In reply to qinzhao from comment #16)
> additional work are needed in order to make this task complete:
> 1. add one more new gcc option:
> -fstrict-flex-arrays
> when it's on, only treat the following cases as flexing array:
> trailing array with size 0;
> trailing array with size 1;
> trailing flexible array;
> all other trailing arrays with size > 1 will be treated as normal arrays. 

Under -fstrict-flex-arrays, arrays of size 0 and 1 should *not* be treated as
flex arrays. Only "[]" should be a flexible array. Everything else should be
treated as having the literal size given.

More information about the Gcc-bugs mailing list