gcc/testsuite/gcc.dg/analyzer/pr104524.c

int src[1];

int
main (int c, char **a)
{
  __builtin_memcpy (*a, src, c);

  return 0;
}