[master] 4f6eaa2 test
Tollef Fog Heen
tfheen at varnish-cache.org
Tue Oct 16 14:23:41 CEST 2012
commit 4f6eaa245f961edf67f22a554c72f26e790ad658
Author: Tollef Fog Heen <tfheen at varnish-software.com>
Date: Mon Oct 15 13:22:58 2012 +0200
test
diff --git a/bin/flint.lnt b/bin/flint.lnt
deleted file mode 100644
index 18a8d27..0000000
--- a/bin/flint.lnt
+++ /dev/null
@@ -1,105 +0,0 @@
--passes=3
-
--ffc // No automatic custody
-
--printf(2, VSB_printf)
-
-
-///////////////////////////////////////////////////////////////////////
-// Weirdness relating to varnish includes etc.
-
--header(../../config.h)
-+libh ../../config.h
--efile(451, ../../config.h) // No include guard
-
--efile(451, "tbl/*.h") // No include guard
-
-///////////////////////////////////////////////////////////////////////
-// assert() support, common to libvarnish and libvarnishapi
--sem(VAS_Fail, r_no)
--emacro(506, assert) // constant value boolean
--emacro(827, assert) // loop not reachable
--emacro(774, assert) // booelan always true
--emacro(731, assert) // booelan arg to eq/non-eq
--emacro(731, xxxassert) // arg to eq/non-eq
--emacro(527, WRONG) // unreachable code
-
-///////////////////////////////////////////////////////////////////////
-// <vqueue.h>
-
--esym(755, VLIST_*) // Global macro not ref.
--esym(755, VSLIST_*)
--esym(755, VSTAILQ_*)
--esym(755, VTAILQ_*)
-
--emacro((826), VTAILQ_LAST) // Suspicious pointer-to-pointer conversion (area too small)
--emacro((826), VTAILQ_PREV) // Suspicious pointer-to-pointer conversion (area too small)
--emacro(506, VTAILQ_FOREACH_SAFE) // constant value boolean
--emacro(506, VSTAILQ_FOREACH_SAFE) // constant value boolean
--emacro(740, VTAILQ_LAST) // Unusual pointer cast (incompatible indirect types)
--emacro(740, VTAILQ_PREV) // Unusual pointer cast (incompatible indirect types)
--esym(755, VTAILQ_*)
-
-///////////////////////////////////////////////////////////////////////
-// miniobj
-
-// -emacro(755, CAST_OBJ) // glob macro not ref
--emacro(779, REPLACE) // string constant !=
--emacro(774, REPLACE) // if(bool) always true
--emacro(506, REPLACE) // const bool
-
-///////////////////////////////////////////////////////////////////////
-// VMB
--emacro(755, VMB) // glob macro not ref
--emacro(755, VRMB) // glob macro not ref
--emacro(755, VWMB) // glob macro not ref
-
-///////////////////////////////////////////////////////////////////////
-// VSB
-
--esym(759, VSB_*) // header decl could be moved
--esym(765, VSB_*) // exten could be made static
--esym(714, VSB_*) // symb not ref
--sem(VSB_new, @p == (1p ? 1p : malloc(1)))
--sem(VSB_delete, custodial(1))
-
--esym(534, VSB_cat) // Ignore retval
--esym(534, VSB_bcat)
--esym(534, VSB_putc)
--esym(534, VSB_printf)
--esym(534, VSB_vprintf)
--esym(534, VSB_putc)
-
-///////////////////////////////////////////////////////////////////////
-// System library/POSIX related
-///////////////////////////////////////////////////////////////////////
-
-// vararg simulation is imperfect (XXX: why ??)
--emacro((???), va_arg) // 415, 416, 416, 661, 662, 796, 797 ...
-
-// Fix strchr() semtics, it can only return NULL if arg2 != 0
--sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
-
--esym(534, printf) // Ignore retval
--esym(534, fprintf)
--esym(534, sprintf)
-
--esym(534, memset)
--esym(534, memcpy)
--esym(534, memmove)
-
--esym(534, strcat)
--esym(534, strcpy)
--esym(534, strlcpy)
-
-+typename(844)
--etype(844, struct pthread *)
--sem(pthread_create, custodial(4))
--emacro(413, offsetof) // likely null pointer
--emacro(736, isnan) // loss of prec.
-
-+libh(/usr/include/curses.h)
--elib(659) // no tokens after struct def.
--elib(123) // macro def. with arg at, (just warn)
-
--emacro(702, WEXITSTATUS) // signed shift right
More information about the varnish-commit
mailing list