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

---
 include/klee/KDAlloc/mapping.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

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
   }
-- 
cgit 1.4.1