https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83388
--- Comment #7 from Jan Hubicka <hubicka at gcc dot gnu.org> --- I believe we do not stream any references to references and once we start to do we will need to invent machinery to keep them intact like we have for edges and symbols. So I would go for removal of the refernece. I however wonder if this is the best place to remove statements from function. I would expect either fixup_cfg or one of the IPA transform stages to be responsible for this instead. Why flag_sanitize is not optimization and not streamed along with function bodies? It seems to make sense to mix sanitized and unsanitized units.
