From 871b02ea88b97732178bd6231f2ff6ede6364d9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sat, 15 Aug 2015 07:38:56 +0200
Subject: [PATCH] removed testcase for #5238. it's not good enough.

---
 test/testnullpointer.cpp | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp
index e055e7ca8..be23cb815 100644
--- a/test/testnullpointer.cpp
+++ b/test/testnullpointer.cpp
@@ -71,7 +71,6 @@ private:
         TEST_CASE(nullpointer26); // #3589
         TEST_CASE(nullpointer27); // #6568
         TEST_CASE(nullpointer28); // #6491
-        TEST_CASE(nullpointer29); // #5238
         TEST_CASE(nullpointer30); // #6392
         TEST_CASE(nullpointer_addressOf); // address of
         TEST_CASE(nullpointerSwitch); // #2626
@@ -1307,23 +1306,6 @@ private:
         ASSERT_EQUALS("[test.cpp:4]: (error) Possible null pointer dereference: s\n", errout.str());
     }
 
-    void nullpointer29() { // #5238
-        check("struct SomeStruct\n"
-              "{\n"
-              "    bool item;\n"
-              "};\n"
-              "bool f1(bool bFlag)\n"
-              "{\n"
-              "    SomeStruct *s = 0;\n"
-              "    if (bFlag)\n"
-              "    {\n"
-              "        s = new SomeStruct;\n"
-              "    }\n"
-              "    return s != 0 || (s != 0 && !s->item);\n"
-              "}\n", true);
-        ASSERT_EQUALS("[test.cpp:12] -> [test.cpp:12]: (warning) Either the condition 's!=0' is redundant or there is possible null pointer dereference: s.\n", errout.str());
-    }
-
     void nullpointer30() { // #6392
         check("void f(std::vector<std::string> *values)\n"
               "{\n"