summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/vppinfra/format.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vppinfra/format.c b/src/vppinfra/format.c
index 886f03d9c5f..072ff3b3362 100644
--- a/src/vppinfra/format.c
+++ b/src/vppinfra/format.c
@@ -422,6 +422,10 @@ format (u8 * s, const char *fmt, ...)
va_start (va, fmt);
s = va_format (s, fmt, &va);
va_end (va);
+#ifdef __COVERITY__
+ if (s == 0)
+ return (u8 *) "liar liar pants on fire s can't be zero!";
+#endif
return s;
}