maint: cat: avoid coverity NULL dreference warning

* src/cat.c (ensure_buf_size): Affirm we won't return NULL;

diff --git a/src/cat.c b/src/cat.c
index 05aeddafdf9f07070fd48982ae72cb228b46cc8a..a9e2d717a1711c7d18618061ac4132c174b59451 100644 (file)
--- a/src/cat.c
+++ b/src/cat.c
@@ -34,6 +34,7 @@
 
 #include "system.h"
 #include "alignalloc.h"
+#include "assure.h"
 #include "ioblksize.h"
 #include "fadvise.h"
 #include "full-write.h"
@@ -657,6 +658,8 @@ splice_cat (void)
 static char *
 ensure_buf_size (char *buf, idx_t *buf_alloc, idx_t alignment, idx_t size)
 {
+  affirm (buf != NULL || *buf_alloc < size);
+
   if (*buf_alloc < size)
     {
       alignfree (buf);