flexelint 771c02cf

it does not understand that wrk_addstat() only returns true for tp != NULL.

flexelint 771c02cf
it does not understand that wrk_addstat() only returns true for tp != NULL.
afcdbf64 · Nils Goroll · 95dd39a0 · afcdbf64
Unverified Commit afcdbf64 authored Jan 11, 2021 by Nils Goroll
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

cache_wrk.c bin/varnishd/cache/cache_wrk.c +1 -0

No files found.
--- a/bin/varnishd/cache/cache_wrk.c
+++ b/bin/varnishd/cache/cache_wrk.c
@@ -398,6 +398,7 @@ Pool_Work_Thread(struct pool *pp, struct worker *wrk)

 		if (wrk_addstat(wrk, tp, 1)) {
 			wrk->stats->summs++;
+			AN(tp);
 		} else if (pp->b_stat != NULL && pp->a_stat->summs) {
 			/* Nothing to do, push pool stats into global pool */
 			tps.func = pool_stat_summ;