From 6bba5ab59c5a2144407d7e3a2531a59e62e7c247 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 11 Nov 2022 09:40:33 -0800
Subject: [PATCH] pool: Support null 'pool' argument in pool_vasprintf().

Other similar functions support a null 'pool', so this function should too.
---
 src/libpspp/pool.c | 3 +++
 1 file changed, 3 insertions(+)

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;
-- 
2.30.2