Add todo for #9827 (#3589)

This commit is contained in:
chrchr-github 2021-11-29 19:12:07 +01:00 committed by GitHub
parent ca311ebcdf
commit b4a60305f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions

View File

@ -3391,6 +3391,14 @@ private:
"[test.cpp:5]: (error) Null pointer dereference\n"
"[test.cpp:6]: (error) Null pointer dereference\n"
"[test.cpp:7]: (error) Null pointer dereference\n", errout.str());
check("std::string f() {\n" // #9827
" char* p = NULL;\n"
" const int rc = ::g(p);\n"
" std::string s(p);\n"
" return s;\n"
"}\n", /*inconclusive*/ true);
TODO_ASSERT_EQUALS("", "[test.cpp:4]: (warning, inconclusive) Possible null pointer dereference: p\n", errout.str());
}
void nullpointerStdStream() {