From 8f36b7d23b62b012a0a2f528f9eaf80f485b28c2 Mon Sep 17 00:00:00 2001
From: amai2012 <amai@users.sf.net>
Date: Thu, 24 Jan 2019 23:13:06 +0100
Subject: [PATCH] Add bind() to posix.cfg

---
 cfg/posix.cfg | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 436a60d94..18f1289f2 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -80,6 +80,22 @@
     <alloc>dlopen</alloc>
     <dealloc>dlclose</dealloc>
   </resource>
+  <!-- int bind(int socket, const struct sockaddr *address, socklen_t address_len); -->
+  <function name="bind">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int connect(int socket, const struct sockaddr *address, socklen_t address_len); -->
   <function name="connect">
     <noreturn>false</noreturn>