Update testnullpointer.cpp

Author: chrchr-github

Diff for: test/testnullpointer.cpp

@@ -164,6 +164,7 @@ class TestNullPointer : public TestFixture {
         TEST_CASE(nullpointerStdString);
         TEST_CASE(nullpointerStdStream);
         TEST_CASE(nullpointerSmartPointer);
+        TEST_CASE(nullpointerArray);
         TEST_CASE(functioncall);
         TEST_CASE(functioncalllibrary); // use Library to parse function call
         TEST_CASE(functioncallDefaultArguments);
@@ -4039,6 +4040,14 @@ class TestNullPointer : public TestFixture {
         ASSERT_EQUALS("[test.cpp:5]: (error) Null pointer dereference: f()\n", errout_str());
     }
 
+    void nullpointerArray() {
+        check("void f() {\n" // #12786
+              "    const int b[2] = {};\n"
+              "    if (b) {}\n"
+              "}\n");
+        ASSERT_EQUALS("", errout_str());
+    }
+
     void functioncall() {    // #3443 - function calls
         // dereference pointer and then check if it's null
         {