From d53c443263ef14e5de647c4a50e569079f0dac0b Mon Sep 17 00:00:00 2001 From: Jaap Eldering Date: Sun, 16 Nov 2025 13:10:24 +0100 Subject: [PATCH] Teach coverity that pipe initializes its argument Call pipe2 for a return value, so that coverity cannot infer a fixed return value. --- coverity/modeling.c | 6 ++++++ 1 file changed, 6 insertions(+) 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); +}