From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 11 Nov 2022 17:40:33 +0000 (-0800)
Subject: pool: Support null 'pool' argument in pool_vasprintf().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6bba5ab59c5a2144407d7e3a2531a59e62e7c247;p=pspp

pool: Support null 'pool' argument in pool_vasprintf().

Other similar functions support a null 'pool', so this function should too.
---

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index 377ca9d853..a1979abc81 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -395,6 +395,9 @@ pool_memdup0 (struct pool *pool, const char *string, size_t size)
 char *
 pool_vasprintf (struct pool *pool, const char *format, va_list args_)
 {
+  if (!pool)
+    return xvasprintf (format, args_);
+
   struct pool_block *b;
   va_list args;
   int needed, avail;