diff options
| -rw-r--r-- | src/vppinfra/format.c | 4 |
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; } |