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.
9 int main(int argc
, char *argv
[])
11 int *filedes
= malloc(2 * sizeof(int));