Fix: Add va_end() before return

The va_end() performs cleanup.
If va_end() is not called before a function that calls va_start() returns,
the behavior is undefined.

diff --git a/src/pool.c b/src/pool.c
index 60cc0f49c7dbfc7da8edb1c44e996ce55c3cc117..f03b43f9e9dd0add8dfb850a86d2da9d1d2bf8aa 100644 (file)
--- a/src/pool.c
+++ b/src/pool.c
@@ -1505,6 +1505,7 @@ pool_debug(Pool *pool, int type, const char *format, ...)
         vprintf(format, args);
       else
         vfprintf(stderr, format, args);
+      va_end(args);
       return;
     }
   vsnprintf(buf, sizeof(buf), format, args);