https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64541
--- Comment #2 from Ulya <skvadrik at gmail dot com> --- > we have to assume that p == q and thus the store to *q invalidates the > previously load *p I see. It seemed to me from GIMPLE dumps that both cases are equally easy to optimize, perhaps I'm missing something.
