From 349a28705a339c7876420c99775324b817157a0b Mon Sep 17 00:00:00 2001
From: Dmitry-Me <wipedout@yandex.ru>
Date: Fri, 15 Sep 2017 01:11:27 +0300
Subject: [PATCH] Clarify code with assertions

---
 lib/symboldatabase.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp
index 3a48ce87f..b1c8cfcdb 100644
--- a/lib/symboldatabase.cpp
+++ b/lib/symboldatabase.cpp
@@ -29,6 +29,7 @@
 #include "valueflow.h"
 
 #include <algorithm>
+#include <cassert>
 #include <climits>
 #include <iomanip>
 #include <iostream>
@@ -2459,6 +2460,7 @@ bool Variable::arrayDimensions(const Library* lib)
                     dimension_.known = true;
                 }
             }
+            assert((dimension_.start == nullptr) == (dimension_.end == nullptr));
             _dimensions.push_back(dimension_);
             return true;
         }
@@ -2489,6 +2491,7 @@ bool Variable::arrayDimensions(const Library* lib)
                 dimension_.known = true;
             }
         }
+        assert((dimension_.start == nullptr) == (dimension_.end == nullptr));
         _dimensions.push_back(dimension_);
         dim = dim->link()->next();
         arr = true;
@@ -5183,6 +5186,7 @@ void SymbolDatabase::setValueTypeInTokenList()
                 std::istringstream istr(typestr+";");
                 if (tokenList.createTokens(istr)) {
                     ValueType vt;
+                    assert(tokenList.front());
                     if (parsedecl(tokenList.front(), &vt, defaultSignedness, _settings)) {
                         setValueType(tok, vt);
                     }