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

2014-09-15 20:57:34 +02:00 · 2014-09-15 20:57:34 +02:00 · 98d4c944e3
parent bbbe2c1b94
commit 98d4c944e3
2 changed files with 3 additions and 1 deletions
--- 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">
--- 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() {