| /* Check that odd cases of readlink work. | |
| #progos: linux | |
| */ | |
| #include <unistd.h> | |
| #include <errno.h> | |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| int main (int argc, char *argv[]) | |
| { | |
| if (readlink("/proc/42/exe", NULL, 4096) != -1 | |
| || errno != EFAULT) | |
| abort (); | |
| printf ("pass\n"); | |
| exit (0); | |
| } |