basic/mempool: mark mempool_enabled as _pure_

The function internally does caching which means that the result must
always be the same, the definition of a pure function. The compiler might
be able to optimize some repeated calls to the function.

diff --git a/src/basic/mempool.h b/src/basic/mempool.h
index a6f990d124b8bec80afe0f10371e31722c3106c7..1dd1e4e314cdab6aad8ccc55b03809bc345ca50b 100644 (file)
--- a/src/basic/mempool.h
+++ b/src/basic/mempool.h
@@ -22,6 +22,6 @@ static struct mempool pool_name = { \
         .at_least = alloc_at_least, \
 }
 
-__attribute__((weak)) bool mempool_enabled(void);
+bool mempool_enabled(void) _weak_ _pure_;
 
 void mempool_trim(struct mempool *mp);