blob: 30ff3d936a7097ab89bf94d8202712a0ba34ea42 [file] [log] [blame]
#include <stdio.h>
#include <stdlib.h>
extern int value;
int
main (int argc, char **argv)
{
int n = 10 * (argc + 1);
char *p = malloc (n);
__builtin_memcpy (p, argv[0], n);
if (value != -1)
abort ();
printf ("OK\n");
return 0;
}