[Bug middle-end/82898] Aliasing knowledge is not used to replace memmove with memcpy

rguenth at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed Nov 8 12:40:00 GMT 2017


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82898

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |alias, missed-optimization
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Indeed - nothing can be done here.  Unsure whether the C standard says anything
about it.  Does

int main()
{
  int i;
  (float *)&i;
}

already invoke undefined behavior?  I guess not.


More information about the Gcc-bugs mailing list