From 28c37bb63fd1046fbe04af50dc0f8782fbbf3d43 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 1 Jan 2020 08:36:40 +0100
Subject: [PATCH] Verification; Clarify error message

---
 lib/exprengine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp
index d4505b218..3f7fd5209 100644
--- a/lib/exprengine.cpp
+++ b/lib/exprengine.cpp
@@ -1848,7 +1848,7 @@ void ExprEngine::runChecks(ErrorLogger *errorLogger, const Tokenizer *tokenizer,
 
         dataBase->addError(tok->linenr());
         std::list<const Token*> callstack{tok};
-        ErrorLogger::ErrorMessage errmsg(callstack, &tokenizer->list, Severity::SeverityType::error, "verificationUninit", "Cannot determine that data is initialized", CWE(908), false);
+        ErrorLogger::ErrorMessage errmsg(callstack, &tokenizer->list, Severity::SeverityType::error, "verificationUninit", "Cannot determine that '" + tok->expressionString() + "' is initialized", CWE(908), false);
         errorLogger->reportErr(errmsg);
     };
 #endif