[Ada] Use new API when creating a special SPARK heap entity

[thirdparty/gcc.git] / libgcc / memcpy.c

/* Public domain.  */
#include <stddef.h>

void *
memcpy (void *dest, const void *src, size_t len)
{
  char *d = dest;
  const char *s = src;
  while (len--)
    *d++ = *s++;
  return dest;
}