From c9f25a382288e98db57608f8134826211d9ce594 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Mon, 21 Jan 2019 17:14:02 +1100
Subject: [PATCH] pool: add attributes to allocate

---
 pool.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pool.hpp b/pool.hpp
index aca6209b..2ce354e2 100644
--- a/pool.hpp
+++ b/pool.hpp
@@ -78,7 +78,7 @@ namespace cruft {
 
         // Data management
         [[nodiscard]] T*
-        allocate (void)
+        allocate [[gnu::malloc]] [[gnu::returns_nonnull]] (void)
         {
             // double check we have enough capacity left
             if (!m_next)