https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 47191 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47191&action=edit patch I am testing the attached then. For some reason variably_modified_type_p considers pointer-to VLA variably modified - even pointer to pointer to VLA..., I suspect some callers want that behavior but some won't, like this new one. A simpler check would be to check for constant TYPE_SIZE but we check variably_modified_type_p for the case you were refering to as well.