Flexelinting

68921c02 · Poul-Henning Kamp · 15c3618f · 68921c02 · 68921c02 · 68921c02
Commit 68921c02 authored Feb 24, 2018 by Poul-Henning Kamp
Showing with 6 additions and 6 deletions

flint.lnt bin/varnishd/flint.lnt +0 -2

flint.lnt flint.lnt +3 -0

flint.lnt lib/libvarnish/flint.lnt +0 -3

hex.h lib/libvmod_blob/hex.h +1 -1

wb.c lib/libvmod_blob/wb.c +2 -0

No files found.
--- a/bin/varnishd/flint.lnt
+++ b/bin/varnishd/flint.lnt
-d__flexelint_v9__=1
-+fan
 // -w4
 -printf(3, VSL)

--- a/flint.lnt
+++ b/flint.lnt
@@ -2,6 +2,9 @@
 * Toplevel control file for FlexeLint
 */
+//d__flexelint_v9__=1
+fan
 ///////////////////////////////////////////////////////////////////////
 // build/config related

--- a/lib/libvarnish/flint.lnt
+++ b/lib/libvarnish/flint.lnt
@@ -5,9 +5,6 @@
 -efunc(662, VSHA256_Update)	// Possible creation of out-of-bounds pointer
 -efunc(662, be32dec_vect)	// Possible creation of out-of-bounds pointer
 -efunc(670, VSHA256_Update)	// Possible access beyond array for function '___',
-+fan			// Allow anon unions
-e713	// Loss of precision (assignment) (unsigned long long to long long)
 -dVARNISH_STATE_DIR="foo"

--- a/lib/libvmod_blob/hex.h
+++ b/lib/libvmod_blob/hex.h
@@ -28,7 +28,7 @@
 #include <stdint.h>
-#define ILL (0xff)
+#define ILL ((int8_t) 127)
 /* These are defined in hex.c */

--- a/lib/libvmod_blob/wb.c
+++ b/lib/libvmod_blob/wb.c
@@ -26,6 +26,8 @@
 * write buffer: utility functions to append-write on a varnish workspace
 */
+#include "config.h"
 #include <string.h>
 #include "cache/cache.h"