Bug hunting; more debug output

This commit is contained in:
Daniel Marjamäki 2020-12-13 14:05:35 +01:00
parent b18dc0fdbb
commit 6fb1a81eae
1 changed files with 1 additions and 1 deletions

View File

@ -268,7 +268,7 @@ namespace {
if (tok->index() == 0)
return;
const std::string &symbolicExpression = value->getSymbolicExpression();
if (symbolicExpression[0] != '$')
if (std::isdigit(symbolicExpression[0]) || value->type == ExprEngine::ValueType::BinOpResult)
return;
if (mSymbols.find(symbolicExpression) != mSymbols.end())
return;