https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101354
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target| |x86_64-*-* Ever confirmed|0 |1 Last reconfirmed| |2021-07-07 Target Milestone|--- |11.2 Status|UNCONFIRMED |NEW CC| |hubicka at gcc dot gnu.org --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Likely modref, but then IPA eventually generally mishandles "naked" functions. Note that "naked" is a target attribute so what we likely need is a target hook computing extra "body" flags? Or are traditional asm allowed to access & modify auto variables and parameters? I think only for "naked" functions such access is reliably possible. Not sure if there's a way for IPA to query for target attributes that have effects on IPA semantics.