https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81008
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-06-08 CC| |rguenth at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- That we do not optimize this is mostly an implementation issue as we do not have a way to annotate a call with dependence info. We'd have to grow gcall to add this for example or somehow integrate / refactor this with the call_used/clobbered sets already there (there's enough padding in those structs, we could decompose them, combining them and providing accessors).