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.

(cherry picked from commit 882dfbde1c3159689eabadfab430aa9c272af163)

diff --git a/src/basic/mempool.h b/src/basic/mempool.h
index 69fbae18a5fcc55110027fda99eb9ca93bf76bf6..3817b0c5b969914d7e1dad7b2552ecaa3939d659 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);