diff options
| -rw-r--r-- | src/vppinfra/format.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vppinfra/format.c b/src/vppinfra/format.c index 072ff3b3362..cb6cb455eaa 100644 --- a/src/vppinfra/format.c +++ b/src/vppinfra/format.c @@ -412,6 +412,11 @@ va_format (u8 * s, const char *fmt, va_list * va) if (f > g) vec_add (s, g, f - g); +#ifdef __COVERITY__ + if (s == 0) + return (u8 *) "liar liar pants on fire s can't be zero!"; +#endif + return s; } |