blob: cf97739c84f2ff3f796b1ffca3eb58d67d98b2b4 [file] [log] [blame]
njnf4ef1822005-09-24 19:42:41 +00001// 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
9int main(int argc, char *argv[])
10{
11 int *filedes = malloc(2 * sizeof(int));
12
13 pipe(filedes);
14
15 return 0;
16}