From e3a98999830babc05183984589fd34c14eba564f Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Tue, 8 Nov 2016 09:05:17 +0100
Subject: [PATCH] std.cfg: Added <returnValue> support for wcslen().

---
 cfg/std.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index c39fae1bf..1c1573092 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3076,6 +3076,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <pure/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <returnValue>strlen(arg1)</returnValue>
     <arg nr="1">
       <not-null/>
       <not-uninit/>