]> err.no Git - varnish/commitdiff
Silence flexelint
authorphk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Tue, 16 Oct 2007 10:17:24 +0000 (10:17 +0000)
committerphk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Tue, 16 Oct 2007 10:17:24 +0000 (10:17 +0000)
git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@2104 d4fa192b-c00b-0410-8231-f00ffab90ce4

varnish-cache/bin/varnishd/cache_http.c

index b9812fc6c7ddcd094de2d2b1841d685b6d425357..a6c12486b7f871c7ed3b53a1cda3e6e843782f1b 100644 (file)
@@ -89,7 +89,7 @@ http2shmlog(const struct http *hp, int t)
        CHECK_OBJ_NOTNULL(hp, HTTP_MAGIC);
        if (t > HTTP_HDR_FIRST)
                t = HTTP_HDR_FIRST;
-       assert(hp->logtag >= HTTP_Rx && hp->logtag <= HTTP_Obj);
+       assert(hp->logtag >= HTTP_Rx && hp->logtag <= HTTP_Obj); /*lint !e685*/
        assert(t >= HTTP_HDR_REQ && t <= HTTP_HDR_FIRST);
        return (logmtx[hp->logtag][t]);
 }