diff --git a/contrib/coverity/model.c b/contrib/coverity/model.c index ee2d01e7f3..d27abd0387 100644 --- a/contrib/coverity/model.c +++ b/contrib/coverity/model.c @@ -70,9 +70,24 @@ panic(const char *fmt, ...) void vpanic(const char *fmt, va_list adx) { - (void) fmt; (void) adx; + __coverity_format_string_sink__(fmt); + __coverity_panic__(); +} + +void +uu_panic(const char *format, ...) +{ + __coverity_format_string_sink__(format); + __coverity_panic__(); +} + +int +libspl_assertf(const char *file, const char *func, int line, + const char *format, ...) +{ + __coverity_format_string_sink__(format); __coverity_panic__(); }