1 #include <stdio.h> 2 #include <stdlib.h> 3 4 extern int value; 5 6 int 7 main (int argc, char **argv) 8 { 9 int n = 10 * (argc + 1); 10 char *p = malloc (n); 11 __builtin_memcpy (p, argv[0], n); 12 if (value != -1) 13 abort (); 14 printf ("OK\n"); 15 return 0; 16 } 17
