https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80728
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |hubicka at gcc dot gnu.org, | |rguenth at gcc dot gnu.org --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- x/3 (x) @0x7f32cb27a170 Type: function definition analyzed Visibility: prevailing_def_ironly References: b/1 (read) Referring: Availability: local First run: 0 Function flags: body local Called by: f/4 (1.00 per call) Calls: so IPA references are only listing explicit references and referring/references has no way to catch the "escape" site. Honza? Note that in other PRs we explicitely said that "locals" (which includes static globals) need explicit clobbering. That is, automatic vars that do not have their address taken are not considered accessible by a "memory" clobber either.