#8482: Added another regression test

orbitcowboy · orbitcowboy · commit 0b36ece04983 · 2021-08-08T10:55:10.000+02:00
diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp
@@ -1473,6 +1473,23 @@ class TestNullPointer : public TestFixture {
               "    (void)f->x;\n"
               "}\n", true);
         ASSERT_EQUALS("", errout.str());
+
+        check("typedef struct\n"
+              "{\n"
+              "    int x;\n"
+              "} F;\n"
+              "\n"
+              "static void foo(F* f)\n"
+              "{\n"
+              "    if( !f || f->x == 0 )\n"
+              "    {\n"
+              "        if( !f )\n"
+              "            return;\n"
+              "    }\n"
+              "\n"
+              "    (void)f->x;\n"
+              "}", true);
+        ASSERT_EQUALS("", errout.str());
     }
 
     void nullpointer32() { // #8460
