From bace54e41fb66084315079072a293d578fcc37bd Mon Sep 17 00:00:00 2001
From: Eric Biggers <ebiggers3@gmail.com>
Date: Wed, 16 Nov 2016 21:32:10 -0800
Subject: [PATCH] Add script to run 'sparse' static analyzer

---
 tools/run-sparse | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 tools/run-sparse

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
-- 
2.43.0