From 98d4c944e334d1b522369925d6c2513fad968708 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Mon, 15 Sep 2014 20:57:34 +0200
Subject: [PATCH] #6163 False nullPointer for strtok(NULL, ...). Correct
 std.cfg

---
 cfg/std.cfg              | 1 -
 test/testnullpointer.cpp | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index f8ed05866..dee7d8b66 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -705,7 +705,6 @@
     <pure/>
     <leak-ignore/>
     <arg nr="1">
-      <not-null/>
       <not-uninit/>
     </arg>
     <arg nr="2">
diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp
index c0bf7bbc8..412a17b77 100644
--- a/test/testnullpointer.cpp
+++ b/test/testnullpointer.cpp
@@ -2572,6 +2572,9 @@ private:
         ASSERT_EQUALS("",errout.str());
         check("size_t get (wchar_t *value) { return wcstombs (NULL, value, 0); }");
         ASSERT_EQUALS("",errout.str());
+
+        check("void f() { strtok(NULL, 'x');}");
+        ASSERT_EQUALS("",errout.str());
     }
 
     void nullpointerFputc() {