1 /* Check that odd cases of readlink work.
2 #notarget: cris*-*-elf
3 */
4 
5 #include <unistd.h>
6 #include <errno.h>
7 #include <stdio.h>
8 #include <stdlib.h>
9 
main(int argc,char * argv[])10 int main (int argc, char *argv[])
11 {
12   if (readlink("/proc/42/exe", NULL, 4096) != -1
13       || errno != EFAULT)
14     abort ();
15 
16   printf ("pass\n");
17   exit (0);
18 }
19