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.