Fixed #1627 (###### If you see this, there is a bug ###### - Token::Match('%varid% [ %num% ]', 0))

lib/checkbufferoverrun.cpp

@@ -1670,6 +1670,8 @@ bool CheckBufferOverrun::ArrayInfo::declare(const Token *tok, const Tokenizer &t
 
     _varname = vartok->str();
     _varid = vartok->varId();
+    if (!varid)
+        return false;
 
     const Token *atok = vartok->tokAt(2);
 

test/testbufferoverrun.cpp

@@ -72,6 +72,8 @@ private:
         TEST_CASE(sizeof2);
         TEST_CASE(sizeof3);
 
+        TEST_CASE(arrayInfo);
+
         TEST_CASE(array_index_1);
         TEST_CASE(array_index_2);
         TEST_CASE(array_index_3);
@@ -271,6 +273,25 @@ private:
         ASSERT_EQUALS("", errout.str());
     }
 
+
+
+    void arrayInfo()
+    {
+        // Tokenize..
+        Tokenizer tokenizer;
+        std::istringstream istr("XY(1) const int a[2] = { 1, 2 };");
+        tokenizer.tokenize(istr, "test.cpp");
+
+        // Clear the error buffer..
+        errout.str("");
+
+        tokenizer.simplifySizeof();
+
+        CheckBufferOverrun::ArrayInfo ai;
+        ASSERT_EQUALS(false, ai.declare(tokenizer.tokens()->tokAt(5), tokenizer));
+    }
+
+
     void array_index_1()
     {
         check("void f()\n"