https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50417
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
Doesn't sanitize anything for
int main()
{
int i, j;
memcpy (&i, (int *)((char *)&i + 1), 4);
return 0;
}
but note that the cast to (int *) is already removed during early folding
and you end up with GENERIC
memcpy ((void *) &i, (const void *) (&i + 1), 4);
