Convince Coverity that s = format (0, ...) is OK 05/18605/1
authorDave Barach <dave@barachs.net>
Fri, 29 Mar 2019 23:41:50 +0000 (19:41 -0400)
committerDave Barach <dave@barachs.net>
Fri, 29 Mar 2019 23:47:30 +0000 (19:47 -0400)
Change-Id: Ia88c7228a46e251b8a7815240da6ddbbcde08bc7
Signed-off-by: Dave Barach <dave@barachs.net>
src/vppinfra/format.c

index 886f03d..072ff3b 100644 (file)
@@ -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;
 }