From: Eric Biggers <ebiggers3@gmail.com>
Date: Thu, 17 Nov 2016 05:32:10 +0000 (-0800)
Subject: Add script to run 'sparse' static analyzer
X-Git-Tag: v1.11.0~62
X-Git-Url: https://wimlib.net/git/?a=commitdiff_plain;h=bace54e41fb66084315079072a293d578fcc37bd;p=wimlib

Add script to run 'sparse' static analyzer
---

diff --git a/tools/run-sparse b/tools/run-sparse
new file mode 100755
index 00000000..dafad10e
--- /dev/null
+++ b/tools/run-sparse
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+for fil in src/*.c programs/imagex.c; do
+	sparse $fil -gcc-base-dir `gcc --print-file-name=`		\
+		-D_FILE_OFFSET_BITS=64 -DHAVE_CONFIG_H -D_GNU_SOURCE	\
+		-I. -Iinclude -I/usr/include/libxml2			\
+		-Wbitwise -Wpointer-subtraction-blows
+done