mirror of
https://github.com/ioacademy-jikim/debugging
synced 2025-06-08 00:16:11 +00:00
17 lines
352 B
C
17 lines
352 B
C
// This is a regtest for bug #113230, in which 64-bit platforms mistakenly
|
|
// behaved as if pipe() took an array of 64-bit ints, when it really takes
|
|
// an array of 32-bit ints.
|
|
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <stdlib.h>
|
|
|
|
int main(int argc, char *argv[])
|
|
{
|
|
int *filedes = malloc(2 * sizeof(int));
|
|
|
|
pipe(filedes);
|
|
|
|
return 0;
|
|
}
|