diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/KDAlloc/mapping.h | 2 |
1 files changed, 1 insertions, 1 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 } |