https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50419
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |alias, missed-optimization Status|UNCONFIRMED |NEW Last reconfirmed| |2016-08-18 Summary|Bad interaction between |Casts to restrict pointers |data-ref and disambiguation |have no effect |with restrict pointers | Ever confirmed|0 |1 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Note that "cast-restrict" support has been removed and thus it is now expected that only the restrict argument case is handled. But - confirmed. Nothing to do with dataref analysis though.