From d774359f686f58f72b34e39aa0285eaa7192fb7a Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 6 Sep 2019 15:25:54 +0200
Subject: [PATCH] posix.cfg: Improved configuration for dlopen() and dlclose().
 Ensure the return value is taken into account for dlopen() and leak-ignore
 flag is not present for dlopen() and dlclose().

---
 cfg/posix.cfg | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 728f4f097..ad989c6c8 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -348,7 +348,7 @@
   <!-- void *dlopen(const char *file, int mode); -->
   <function name="dlopen">
     <noreturn>false</noreturn>
-    <leak-ignore/>
+    <use-retval/>
     <returnValue type="void*"/>
     <arg nr="1" direction="in">
       <not-uninit/>
@@ -376,7 +376,6 @@
   <!-- int dlclose(void *handle); -->
   <function name="dlclose">
     <noreturn>false</noreturn>
-    <leak-ignore/>
     <returnValue type="int"/>
     <arg nr="1">
       <not-uninit/>