gcc/testsuite/c-c++-common/analyzer/memcpy-pr107882.c

void
foo (int *x, int y)
{
  int *a = x, *b = (int *) &a;

  __builtin_memcpy (b + 1, x, y);
  foo (a, 0);
}