https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97172
--- Comment #15 from Jan Hubicka <hubicka at ucw dot cz> --- > I'm not sure I understand correctly what you mean by "avoiding the attribute > for VLA types would likely also be good (are those handled in any reasonable > way?)" As I explain in the thread at the link above, the attribute is > strictly > only strictly necessary for the most significant bound of a VLA parameter. > The > other bounds are encoded in the type and so don't also need to be duplicated > in > the attribute (it's just more convenient/faster that way). But even with that > change, and with the unsharing (or with the SAVE_EXPR around it), I'd expect > the most significant bound to still be a problem for the streamer since it > will > still contain the unsupported nodes. Not SSA_NAMEs but some of the others. What kind of other nodes you see? Basically everything that makes sense out of the function body can be streamed. You can not refer also to local scopes of the function, ipa-prop has unshare_expr_without_location
