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 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
