diff --git a/coverity/modeling.c b/coverity/modeling.c index 5b42be28b9..321db68824 100644 --- a/coverity/modeling.c +++ b/coverity/modeling.c @@ -6,3 +6,9 @@ void error(int errnum, const char *format, ...) { __coverity_panic__(); } + +int pipe(int pipefd[2]) { + pipefd[0] = 1; + pipefd[2] = 2; + return pipe2(pipefd, 0); +}