safecode/test/cstdlib/memcpy-002.c

// RUN: test.sh -e -t %t %s
// XFAIL: darwin
#include <string.h>

// memcpy() called with too short a source.

int main(int argc, char ** argv)
{
  char src[] = "aaaaaaa";
  char dst[100];
  memcpy(dst, src, 11);
  printf ("%c\n", dst[argc]);
  return 0;
}