From 78bd49c2ba8d7d9787e9fec6ecbac2eafa849c40 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Wed, 25 Nov 2015 09:53:10 +0100
Subject: [PATCH] windows.cfg: Added strtok_s and wcstok_s

---
 cfg/windows.cfg | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 517a6855f..5becc25eb 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -1584,6 +1584,24 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char *strtok_s(char *strToken, const char *strDelimit, char **context); -->
+  <!-- wchar_t *wcstok_s(wchar_t *strToken, const wchar_t *strDelimit, wchar_t**context); -->
+  <function name="strtok_s,wcstok_s">
+    <!-- strtok may modify the first argument, so using the return value is not mandatory -->
+    <noreturn>false</noreturn>
+    <pure/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+  </function>
   <!-- 
 HFONT CreateFont(
   _In_  int nHeight,