diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-03-27 15:01:29 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-06 16:03:03 +0300 |
commit | 2769f1f4dc3515a8b5fc22ccf3e30b906faef75d (patch) | |
tree | f1e9d59d75ec718f53a8b6915e32dba01a6793e0 /lib | |
parent | a46b8059ba5f8b5759813d142018478d4b72db71 (diff) | |
download | klee-2769f1f4dc3515a8b5fc22ccf3e30b906faef75d.tar.gz |
Mark variable as potentially unused
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Core/Executor.cpp | 2 |
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; |