diff --git a/cfg/posix.cfg b/cfg/posix.cfg index 61692d0c3..df4cdcb6c 100644 --- a/cfg/posix.cfg +++ b/cfg/posix.cfg @@ -169,6 +169,14 @@ + + false + + + + + + false diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp index fc5a089c8..d9e156314 100644 --- a/test/testnullpointer.cpp +++ b/test/testnullpointer.cpp @@ -2665,6 +2665,9 @@ private: " strdup(x);\n" "}"); ASSERT_EQUALS("[test.cpp:4]: (error) Possible null pointer dereference: x\n", errout.str()); + + check("DIR* f(){ DIR *dirp = 0; return readdir (dirp);}"); + ASSERT_EQUALS("[test.cpp:1]: (error) Possible null pointer dereference: dirp\n",errout.str()); } };