1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/alloc-pool.c b/gcc/alloc-pool.c
index 14876536cdd..7c7d1917815 100644
--- a/gcc/alloc-pool.c
+++ b/gcc/alloc-pool.c
@@ -333,6 +333,9 @@ void dump_alloc_pool_statistics (void)
 #ifdef GATHER_STATISTICS
   struct output_info info;
 
+  if (!alloc_pool_hash)
+    return;
+
   fprintf (stderr, "\nAlloc-pool Kind        Pools  Allocated      Peak        Leak\n");
   fprintf (stderr, "-------------------------------------------------------------\n");
   info.count = 0;