[master] 2802dc94d vtc_log: Simplify Coverity helper
Dridi Boukelmoune
dridi.boukelmoune at gmail.com
Wed Sep 18 12:02:04 UTC 2024
commit 2802dc94dbfcc74fdb89fd37ebe6efbc7079a3ad
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date: Wed Sep 18 14:01:08 2024 +0200
vtc_log: Simplify Coverity helper
diff --git a/bin/varnishtest/vtc_log.c b/bin/varnishtest/vtc_log.c
index 26bb7302e..549ffdad8 100644
--- a/bin/varnishtest/vtc_log.c
+++ b/bin/varnishtest/vtc_log.c
@@ -109,13 +109,6 @@ vtc_logclose(void *arg)
FREE_OBJ(vl);
}
-#ifdef __COVERITY__
-static void v_noreturn_
-vtc_logfail(void)
-{
- __coverity_panic__();
-}
-#else
static void v_noreturn_
vtc_logfail(void)
{
@@ -125,8 +118,9 @@ vtc_logfail(void)
pthread_exit(NULL);
else
exit(fail_out());
+
+ WRONG("unreachable"); /* Help Coverity Scan see noreturn. */
}
-#endif
static const char * const lead[] = {
"----",
More information about the varnish-commit
mailing list