diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp index 4e3cf369d..b5ea525f3 100644 --- a/lib/exprengine.cpp +++ b/lib/exprengine.cpp @@ -281,6 +281,24 @@ static ExprEngine::ValuePtr simplifyValue(ExprEngine::ValuePtr origValue) return origValue; } +static ExprEngine::ValuePtr translateUninitValueToRange(ExprEngine::ValuePtr value, const ::ValueType *valueType, Data &data) +{ + if (!value) + return value; + if (value->type == ExprEngine::ValueType::UninitValue) { + auto rangeValue = getValueRangeFromValueType(data.getNewSymbolName(), valueType, *data.settings); + if (rangeValue) + return rangeValue; + } + if (auto conditionalValue = std::dynamic_pointer_cast(value)) { + if (conditionalValue->values.size() == 1 && conditionalValue->values[0].second && conditionalValue->values[0].second->type == ExprEngine::ValueType::UninitValue) { + auto rangeValue = getValueRangeFromValueType(data.getNewSymbolName(), valueType, *data.settings); + if (rangeValue) + return rangeValue; + } + } + return value; +} ExprEngine::ArrayValue::ArrayValue(const std::string &name, ExprEngine::ValuePtr size, ExprEngine::ValuePtr value) : Value(name, ExprEngine::ValueType::ArrayValue) @@ -950,7 +968,7 @@ static ExprEngine::ValuePtr executeStringLiteral(const Token *tok, Data &data) return std::make_shared(data.getNewSymbolName(), s.substr(1, s.size()-2)); } -static ExprEngine::ValuePtr executeExpression(const Token *tok, Data &data) +static ExprEngine::ValuePtr executeExpression1(const Token *tok, Data &data) { if (tok->str() == "return") return executeReturn(tok, data); @@ -995,6 +1013,11 @@ static ExprEngine::ValuePtr executeExpression(const Token *tok, Data &data) return ExprEngine::ValuePtr(); } +static ExprEngine::ValuePtr executeExpression(const Token *tok, Data &data) +{ + return translateUninitValueToRange(executeExpression1(tok, data), tok->valueType(), data); +} + static ExprEngine::ValuePtr createVariableValue(const Variable &var, Data &data); static void execute(const Token *start, const Token *end, Data &data)