From ee2bbff4a4bdc6aca6f43e7e7828dadc01631d3a Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Mon, 30 Nov 2020 21:37:22 +0100
Subject: [PATCH] remove useless size increasing cast which introduces a read
of uninitialized memory
---
emper/Debug.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/emper/Debug.cpp b/emper/Debug.cpp
index 577a4077..c551cf0f 100644
--- a/emper/Debug.cpp
+++ b/emper/Debug.cpp
@@ -15,7 +15,7 @@ void worker_log(const std::string& prefix, const std::string& message) {
const workerid_t workerId = Runtime::getWorkerId();
std::unique_lock<std::mutex> lock(worker_log_mutex);
- std::cerr << (unsigned int)workerId;
+ std::cerr << workerId;
if (!prefix.empty()) {
std::cerr << " " << prefix << " ";
} else {
--
GitLab