From 07aaf9999b9522acd0a19701859e0802596511f5 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Tue, 8 Nov 2016 09:08:04 +0100
Subject: [PATCH] std.cfg: Merged identical configurations. There are no
 functional changes.

---
 cfg/std.cfg | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 1c1573092..1f5b7cb6a 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3058,7 +3058,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     </arg>
   </function>
   <!-- size_t strlen(const char *string); -->
-  <function name="strlen,std::strlen">
+  <!-- size_t wcslen(const wchar_t *string); -->
+  <function name="strlen,std::strlen,wcslen,std::wcslen">
     <use-retval/>
     <pure/>
     <noreturn>false</noreturn>
@@ -3070,18 +3071,6 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <strz/>
     </arg>
   </function>
-  <!-- size_t wcslen(const wchar_t *string); -->
-  <function name="wcslen,std::wcslen">
-    <use-retval/>
-    <pure/>
-    <noreturn>false</noreturn>
-    <leak-ignore/>
-    <returnValue>strlen(arg1)</returnValue>
-    <arg nr="1">
-      <not-null/>
-      <not-uninit/>
-    </arg>
-  </function>
   <!-- char *strncpy(char *s, const char *ct, size_t n); -->
   <function name="strncpy,std::strncpy">
     <noreturn>false</noreturn>