From e5c7543a7d1aabad69cae34e40bd17e89c262216 Mon Sep 17 00:00:00 2001
From: amai2012 <amai@users.sf.net>
Date: Thu, 10 Jan 2019 18:33:44 +0100
Subject: [PATCH] posix.cfg: add dlopen, dlsym, dlclose

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

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 5fb358991..c31cd5074 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -74,6 +74,40 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlopen.html -->
+  <function name="dlopen">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void*"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlsym.html -->
+  <function name="dlsym">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void*"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlclose.html -->
+  <function name="dlclose">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int gettimeofday(struct timeval *tv, struct timezone *tz); -->
   <function name="gettimeofday">
     <noreturn>false</noreturn>