danmar#6163 False nullPointer for strtok(NULL, ...). Correct std.cfg

amai2012 · amai2012 · commit 98d4c944e334 · 2014-09-15T20:57:34.000+02:00
diff --git 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
@@ -2572,6 +2572,9 @@ class TestNullPointer : public TestFixture {
         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() {

Original file line number	Diff line number	Diff line change
`@@ -2572,6 +2572,9 @@ class TestNullPointer : public TestFixture {`
`2572`	`2572`	`ASSERT_EQUALS("",errout.str());`
`2573`	`2573`	`check("size_t get (wchar_t *value) { return wcstombs (NULL, value, 0); }");`
`2574`	`2574`	`ASSERT_EQUALS("",errout.str());`
	`2575`	`+`
	`2576`	`+ check("void f() { strtok(NULL, 'x');}");`
	`2577`	`+ ASSERT_EQUALS("",errout.str());`
`2575`	`2578`	`}`
`2576`	`2579`
`2577`	`2580`	`void nullpointerFputc() {`