1 // This is a regtest for bug #113230, in which 64-bit platforms mistakenly
2 // behaved as if pipe() took an array of 64-bit ints, when it really takes
3 // an array of 32-bit ints.
4 
5 #include <stdio.h>
6 #include <unistd.h>
7 #include <stdlib.h>
8 
main(int argc,char * argv[])9 int main(int argc, char *argv[])
10 {
11    int *filedes = malloc(2 * sizeof(int));
12 
13    pipe(filedes);
14 
15    return 0;
16 }
17