From d65f471f3801cf8862b853bc5a19f63fb568847b Mon Sep 17 00:00:00 2001
From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Tue, 19 Aug 2008 09:38:46 +0000
Subject: [PATCH] Silence FlexeLint

git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@3108 d4fa192b-c00b-0410-8231-f00ffab90ce4
---
 varnish-cache/lib/libvcl/vcc_backend.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/varnish-cache/lib/libvcl/vcc_backend.c b/varnish-cache/lib/libvcl/vcc_backend.c
index 3edb15c3..7d93e3f4 100644
--- a/varnish-cache/lib/libvcl/vcc_backend.c
+++ b/varnish-cache/lib/libvcl/vcc_backend.c
@@ -434,6 +434,7 @@ vcc_ParseProbe(struct tokenlist *tl)
 		if (threshold > window ) {
 			vsb_printf(tl->sb,
 			    "Threshold can not be greater than window.\n");
+			AN(t_threshold);
 			vcc_ErrWhere(tl, t_threshold);
 			AN(t_window);
 			vcc_ErrWhere(tl, t_window);
-- 
2.39.5