https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115363
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2024-06-06
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Invariant motion doesn't do versioning for aliasing. But in fact once the
loop iterates array[k] can no longer alias this->size but this is difficult
to exploit (peeling the loop once would help).
I'm not sure we should start to version all those loops where the exit
condition depends on a not hoistable but invariant expression?
But maybe we can diagnose this so people can rewrite their code.
