klocwork; fixed dereference before check. FN ticket: #10574

This commit is contained in:
Daniel Marjamäki 2021-10-28 17:20:45 +02:00
parent d50e771a38
commit 87d1ba4c08
1 changed files with 1 additions and 1 deletions

View File

@ -880,7 +880,7 @@ ExprEngine::ArrayValue::ArrayValue(const std::string &name, ExprEngine::ValuePtr
ExprEngine::ArrayValue::ArrayValue(DataBase *data, const Variable *var)
: Value(data->getNewSymbolName(), ExprEngine::ValueType::ArrayValue)
, pointer(var->isPointer()), nullPointer(var->isPointer()), uninitPointer(var->isPointer())
, pointer(var && var->isPointer()), nullPointer(var && var->isPointer()), uninitPointer(var && var->isPointer())
{
if (var) {
for (const auto &dim : var->dimensions()) {