summaryrefslogtreecommitdiff
path: root/ci/run-static-analysis.sh
blob: 5688f261d0813d4b2b55baeb5e404fcfef80b5d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/bin/sh
#
# Perform various static code analysis checks
#
 
. ${0%/*}/lib-travisci.sh
 
make --jobs=2 coccicheck
 
set +x
 
fail=
for cocci_patch in contrib/coccinelle/*.patch
do
	if test -s "$cocci_patch"
	then
		echo "$(tput setaf 1)Coccinelle suggests the following changes in '$cocci_patch':$(tput sgr0)"
		cat "$cocci_patch"
		fail=UnfortunatelyYes
	fi
done
 
if test -n "$fail"
then
	echo "$(tput setaf 1)error: Coccinelle suggested some changes$(tput sgr0)"
	exit 1
fi
 
save_good_tree