From 8b6f879c061e5a598cb0101490e143c33a6bb6ba Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Mon, 14 Dec 2020 19:06:59 +0100
Subject: [PATCH] [Actor] suppress potential false positive
modernize-use-nullptr
---
emper/Actor.hpp | 3 +++
1 file changed, 3 insertions(+)
diff --git a/emper/Actor.hpp b/emper/Actor.hpp
index 3839a138..da6c6551 100644
--- a/emper/Actor.hpp
+++ b/emper/Actor.hpp
@@ -80,6 +80,9 @@ class Actor {
const auto start = std::chrono::steady_clock::now();
const auto deadline = start + std::chrono::milliseconds(timeout);
while (!(queue.size() == 0 && state.load(std::memory_order_acquire) == Retrieving)) {
+ // TODO: The suppressed linter error below may be a false positive
+ // reported by clang-tidy.
+ // NOLINTNEXTLINE(modernize-use-nullptr)
if (std::chrono::steady_clock::now() > deadline) {
return false;
}
--
GitLab