https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78387
Thomas Koenig <tkoenig at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |NEW Last reconfirmed| |2016-11-17 Resolution|INVALID |--- Ever confirmed|0 |1 Severity|normal |enhancement --- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- OK, in that case, maybe I was hasty :-) The original test case has an external write, but the error does not depend on this. So, confirming.