https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
--- Comment #6 from Richard Biener ---
(In reply to Jan Hubicka from comment #5)
> > but the issue is that test2 escapes which makes this conflict:
>
> It is passed to memmove which is noescape and returned. Why local PTA
> considers returned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
--- Comment #5 from Jan Hubicka ---
> but the issue is that test2 escapes which makes this conflict:
It is passed to memmove which is noescape and returned. Why local PTA
considers returned values to escape?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
--- Comment #4 from Richard Biener ---
We do use the alias oracle in folding memmove:
/* If the destination and source do not alias optimize into
memcpy as well. */
if ((is_gimple_min_invariant (dest)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
--- Comment #3 from Jan Hubicka ---
PR82898 testcases seems to be about type based alias analysis. However PTA
should be useable here.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
--- Comment #2 from Sam James ---
See PR82898 especially...
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112653
Andrew Pinski changed:
What|Removed |Added
CC||pinskia at gcc dot gnu.org
Last recon
