https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63185
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-09-05 Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Hm? The PHI does post-dominate the memset. I think you run into another check, namely we visited the call already (temp != NULL). We don't special-case a non-diamond if (where there are never two possible uses on different CFG paths). That is, the walking over all uses is somewhat stupid.