https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107952
--- Comment #16 from Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> --- (In reply to Qing Zhao from comment #15) > 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? It will be useful for __bos/__bdos for sure.