ExprEngine: Create array value in struct

This commit is contained in:
Daniel Marjamäki 2019-09-27 18:58:23 +02:00
parent ff7dba91e1
commit 398cfc1f5a
1 changed files with 2 additions and 0 deletions

View File

@ -1053,6 +1053,8 @@ static ExprEngine::ValuePtr createVariableValue(const Variable &var, Data &data)
auto range = getValueRangeFromValueType(data.getNewSymbolName(), &vt, *data.settings); auto range = getValueRangeFromValueType(data.getNewSymbolName(), &vt, *data.settings);
return std::make_shared<ExprEngine::PointerValue>(data.getNewSymbolName(), range, true, true); return std::make_shared<ExprEngine::PointerValue>(data.getNewSymbolName(), range, true, true);
} }
if (var.isArray())
return std::make_shared<ExprEngine::ArrayValue>(data.getNewSymbolName(), &var);
if (valueType->isIntegral()) if (valueType->isIntegral())
return getValueRangeFromValueType(data.getNewSymbolName(), valueType, *data.settings); return getValueRangeFromValueType(data.getNewSymbolName(), valueType, *data.settings);
if (valueType->type == ValueType::Type::RECORD) if (valueType->type == ValueType::Type::RECORD)