From e98ddb6cc554df08f6abbda8ef848a1208a660ec Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sat, 30 Mar 2019 15:50:18 +0100
Subject: [PATCH] gnu.cfg: Added support for pipe2().

---
 cfg/gnu.cfg | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 1499b150e..0222896ad 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -54,6 +54,19 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- int pipe(int fildes[2],int flags); -->
+  <function name="pipe">
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <arg nr="1" direction="out">
+      <not-null/>
+      <not-bool/>
+      <minsize type="value" value="2"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- void * xcalloc(size_t nitems, size_t size); -->
   <function name="xcalloc">
     <use-retval/>