https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107952
--- Comment #15 from Qing Zhao <qing.zhao at oracle dot com> --- > On Jan 25, 2023, at 11:12 AM, siddhesh at gcc dot gnu.org > <gcc-bugzi...@gcc.gnu.org> wrote: >> >>> The first is handled by the function just fine, >> >> No, even the first case is not recognized by the current >> “array_ref_flexible_size_p”, it’s not been identified as a flexible array >> right now. >> Shall we include this case into “array_ref_flexible_size_p”? (It’s a GCC >> extension). > > In the first case, array_ref_flexible_size_p recognizes S2.flex.data as having > flexible size. The tests in my patch[1] for this bug checks for this. Oh, yes. That’s right. > > However, array_ref_flexible_size_p does not recognize S2.flex as having > flexible size. It might make sense to support that, i.e. any struct or union > with the last element as a flex array should be recognized as having flexible > size. Since S2.flex is not an “array_ref”, it’s correct for array_ref_fleixble_size_p to return false for it, I think. We might add a new utility routine to determine whether a ref to a struct or union have flexible array?
