njn | f4ef182 | 2005-09-24 19:42:41 +0000 | [diff] [blame] | 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 | } |