From 2769f1f4dc3515a8b5fc22ccf3e30b906faef75d Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 27 Mar 2023 15:01:29 +0100
Subject: Mark variable as potentially unused

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

(limited to 'lib/Core')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index cdf012a5..b13afb6a 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -3923,7 +3923,7 @@ void Executor::callExternalFunction(ExecutionState &state,
   if (MemoryManager::isDeterministic) {
     auto const minflt = [] {
       struct rusage ru = {};
-      int ret = getrusage(RUSAGE_SELF, &ru);
+      [[maybe_unused]] int ret = getrusage(RUSAGE_SELF, &ru);
       assert(!ret && "getrusage failed");
       assert(ru.ru_minflt >= 0);
       return ru.ru_minflt;
-- 
cgit 1.4.1