walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Clarify code with assertions

This commit is contained in:
Dmitry-Me 2017-09-15 01:11:27 +03:00
parent 0fe82335ac
commit 349a28705a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/symboldatabase.cpp
View File

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