From: phk <phk@d4fa192b-c00b-0410-8231-f00ffab90ce4>
Date: Tue, 8 Jul 2008 06:30:16 +0000 (+0000)
Subject: Flexelint nits
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e59a0cf451d8f57e86b3168df22037050b1d1d7;p=varnish

Flexelint nits



git-svn-id: svn+ssh://projects.linpro.no/svn/varnish/trunk@2898 d4fa192b-c00b-0410-8231-f00ffab90ce4
---

diff --git a/varnish-cache/lib/libvcl/flint.lnt b/varnish-cache/lib/libvcl/flint.lnt
index 5724f57a..24c9e648 100644
--- a/varnish-cache/lib/libvcl/flint.lnt
+++ b/varnish-cache/lib/libvcl/flint.lnt
@@ -12,6 +12,10 @@
 -sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
 -sem(vcc_new_source, custodial(1))
 
+-emacro((???),va_arg)	// the va_arg() macro can yield 415, 416, 661, 662
+			// 796 and 797 (out-of-bounds errors).
+
+
 // -ffc    // No automatic custody
 
 -esym(534, vsb_printf)	// Ignoring return value of function
diff --git a/varnish-cache/lib/libvcl/vcc_compile.h b/varnish-cache/lib/libvcl/vcc_compile.h
index 6f6ac64c..a852c133 100644
--- a/varnish-cache/lib/libvcl/vcc_compile.h
+++ b/varnish-cache/lib/libvcl/vcc_compile.h
@@ -199,7 +199,7 @@ void vcc_ErrWhere(struct tokenlist *tl, const struct token *t);
 void vcc__Expect(struct tokenlist *tl, unsigned tok, int line);
 int vcc_Teq(const struct token *t1, const struct token *t2);
 int vcc_IdIs(const struct token *t, const char *p);
-int vcc_isCid(struct token *t);
+int vcc_isCid(const struct token *t);
 void vcc_ExpectCid(struct tokenlist *tl);
 void vcc_Lexer(struct tokenlist *tl, struct source *sp);
 void vcc_NextToken(struct tokenlist *tl);
diff --git a/varnish-cache/lib/libvcl/vcc_token.c b/varnish-cache/lib/libvcl/vcc_token.c
index b13dca4f..c6f4000e 100644
--- a/varnish-cache/lib/libvcl/vcc_token.c
+++ b/varnish-cache/lib/libvcl/vcc_token.c
@@ -192,7 +192,7 @@ vcc_IdIs(const struct token *t, const char *p)
  */
 
 int
-vcc_isCid(struct token *t)
+vcc_isCid(const struct token *t)
 {
 	const char *q;