From ce818631abb0c35a17f41c4e705e1349ce60c88c Mon Sep 17 00:00:00 2001
From: versat <versat@users.noreply.github.com>
Date: Tue, 5 Mar 2019 13:57:52 +0100
Subject: [PATCH] std.cfg: Add support for ctime_s().

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

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 27909cb12..d2856c128 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -1162,6 +1162,25 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- errno_t ctime_s(char *buffer, rsize_t bufsz, const time_t *time); // since C11 -->
+  <function name="ctime_s">
+    <noreturn>false</noreturn>
+    <returnValue type="errno_t"/>
+    <leak-ignore/>
+    <arg nr="1" direction="out">
+      <not-null/>
+      <minsize type="argvalue" arg="2"/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <valid>26:</valid>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- double difftime(time_t time2, time_t time1); -->
   <function name="difftime,std::difftime">
     <use-retval/>