https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86488
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |alias, missed-optimization Status|UNCONFIRMED |NEW Last reconfirmed| |2018-07-11 CC| |rguenth at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed, though in principle semantics could be extended to handle structs quite easily. Description would be changed to be more vague about the actual return type but only mention that it may not alias any other memory. That would also cover returning a struct of two pointers which then still may point to each other.