From fb984ab5e924e36c49a5c6ce8a229520947df112 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Thu, 15 Jan 2015 21:09:55 +0100
Subject: [PATCH] std.cfg: Added support for wcsftime() from <cwchar>
 (wchar.h).

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index c933da5e6..b76bd8803 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -228,6 +228,26 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcsftime (wchar_t* ptr, size_t maxsize, const wchar_t* format, const struct tm* timeptr); -->
+  <function name="asinhl">
+    <pure/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="tan">
     <use-retval/>
     <pure/>