scripts/run-sparse.sh

#!/bin/bash
# SPDX-License-Identifier: GPL-2.0-or-later

set -e -u -o pipefail

find . -name '*.c' | while read -r file; do
	sparse "$file" -gcc-base-dir "$(gcc --print-file-name=)"	\
		-D_FILE_OFFSET_BITS=64 -I. -Wbitwise
done