[Bug middle-end/112653] New: We should optimize memmove to memcpy using alias oracle

[hubicka at gcc dot gnu.org]

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

            Bug ID: 112653
           Summary: We should optimize memmove to memcpy using alias
                    oracle
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hubicka at gcc dot gnu.org
  Target Milestone: ---

In this testcase (losely based on libstdc++ implementation of vectors)
I we should be able to turn memmove to memcpy because we know that the two
parameters can not alias
#include <stdlib.h>
#include <string.h>
char *test;
char *
copy_test ()
{
        char *test2 = malloc (1000);
        memmove (test2, test, 1000);
        return test2;
}