From 2769f1f4dc3515a8b5fc22ccf3e30b906faef75d Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Mon, 27 Mar 2023 15:01:29 +0100 Subject: Mark variable as potentially unused --- include/klee/KDAlloc/mapping.h | 2 +- lib/Core/Executor.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/klee/KDAlloc/mapping.h b/include/klee/KDAlloc/mapping.h index 4afc9d86..f566a211 100644 --- a/include/klee/KDAlloc/mapping.h +++ b/include/klee/KDAlloc/mapping.h @@ -139,7 +139,7 @@ public: [[maybe_unused]] int rc = ::munmap(baseAddress, size); assert(rc == 0 && "munmap failed"); baseAddress = MAP_FAILED; - auto success = try_map(address); + [[maybe_unused]] auto success = try_map(address); assert(success && "could not recreate the mapping"); #endif } 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