https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104303
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 52768 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52768&action=edit patch in testing I'm testing this, adding escaped_local_p parameters throughout the API and adjusting consumers, throwing away ref_may_access_global_memory_p. Following passes adjusted from false to true: - DCE in mark_stmt_if_obviously_necessary but that's just compile-time optimization I think - trans-mem.cc I think got it wrong, so now fixed (but trans-mem is dead) - the modref query in modref_may_conflict all others keep passing false.