about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-03-27 15:01:29 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-04-06 16:03:03 +0300
commit2769f1f4dc3515a8b5fc22ccf3e30b906faef75d (patch)
treef1e9d59d75ec718f53a8b6915e32dba01a6793e0 /lib
parenta46b8059ba5f8b5759813d142018478d4b72db71 (diff)
downloadklee-2769f1f4dc3515a8b5fc22ccf3e30b906faef75d.tar.gz
Mark variable as potentially unused
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp2
1 files changed, 1 insertions, 1 deletions
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;