From bca27bf7d2e5311fb1d1e572c097b1f57e35da86 Mon Sep 17 00:00:00 2001 From: orbitcowboy Date: Tue, 7 Dec 2021 08:50:29 +0100 Subject: [PATCH] Ticket #6098, added regression test --- test/testnullpointer.cpp | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp index a027719c9..b47462509 100644 --- a/test/testnullpointer.cpp +++ b/test/testnullpointer.cpp @@ -129,6 +129,7 @@ private: TEST_CASE(nullpointer87); // #9291 TEST_CASE(nullpointer88); // #9949 TEST_CASE(nullpointer89); // #10640 + TEST_CASE(nullpointer90); // #6098 TEST_CASE(nullpointer_addressOf); // address of TEST_CASE(nullpointerSwitch); // #2626 TEST_CASE(nullpointer_cast); // #4692 @@ -2636,6 +2637,28 @@ private: errout.str()); } + void nullpointer90() // #6098 + { + check("std::string definitionToName(Definition *ctx)\n" + "{\n" + " if (ctx->definitionType()==Definition::TypeMember)\n" // possible null pointer dereference + " {\n" + " return \"y\";\n" + " }\n" + " else if (ctx)\n" // ctx is checked against null + " {\n" + " if(ctx->definitionType()!=Definition::TypeMember)\n" + " {\n" + " return \"x\";\n" + " }\n" + " }\n" + " return \"unknown\";\n" + "}"); + ASSERT_EQUALS( + "[test.cpp:7] -> [test.cpp:3]: (warning) Either the condition 'ctx' is redundant or there is possible null pointer dereference: ctx.\n", + errout.str()); + } + void nullpointer_addressOf() { // address of check("void f() {\n" " struct X *x = 0;\n"