xref: /dpdk/devtools/checkpatches.sh (revision 8f1d23ece06adff5eae9f1b4365bdbbd3abee2b2)
1#! /bin/sh
2# SPDX-License-Identifier: BSD-3-Clause
3# Copyright 2015 6WIND S.A.
4
5# Load config options:
6# - DPDK_CHECKPATCH_PATH
7# - DPDK_CHECKPATCH_CODESPELL
8# - DPDK_CHECKPATCH_LINE_LENGTH
9# - DPDK_CHECKPATCH_OPTIONS
10. $(dirname $(readlink -f $0))/load-devel-config
11
12VALIDATE_NEW_API=$(dirname $(readlink -f $0))/check-symbol-change.sh
13
14# Enable codespell by default. This can be overwritten from a config file.
15# Codespell can also be enabled by setting DPDK_CHECKPATCH_CODESPELL to a valid path
16# to a dictionary.txt file if dictionary.txt is not in the default location.
17codespell=${DPDK_CHECKPATCH_CODESPELL:-enable}
18length=${DPDK_CHECKPATCH_LINE_LENGTH:-100}
19
20# override default Linux options
21options="--no-tree"
22if [ "$codespell" = "enable" ] ; then
23    options="$options --codespell"
24elif [ -f "$codespell" ] ; then
25    options="$options --codespell"
26    options="$options --codespellfile $codespell"
27fi
28options="$options --max-line-length=$length"
29options="$options --show-types"
30options="$options --ignore=LINUX_VERSION_CODE,ENOSYS,\
31FILE_PATH_CHANGES,MAINTAINERS_STYLE,SPDX_LICENSE_TAG,\
32VOLATILE,PREFER_PACKED,PREFER_ALIGNED,PREFER_PRINTF,STRLCPY,\
33PREFER_KERNEL_TYPES,PREFER_FALLTHROUGH,BIT_MACRO,CONST_STRUCT,\
34SPLIT_STRING,LONG_LINE_STRING,C99_COMMENT_TOLERANCE,\
35LINE_SPACING,PARENTHESIS_ALIGNMENT,NETWORKING_BLOCK_COMMENT_STYLE,\
36NEW_TYPEDEFS,COMPARISON_TO_NULL"
37options="$options $DPDK_CHECKPATCH_OPTIONS"
38
39print_usage () {
40	cat <<- END_OF_HELP
41	usage: $(basename $0) [-h] [-q] [-v] [-nX|-r range|patch1 [patch2] ...]
42
43	Run Linux kernel checkpatch.pl with DPDK options.
44	The environment variable DPDK_CHECKPATCH_PATH must be set.
45
46	The patches to check can be from stdin, files specified on the command line,
47	latest git commits limited with -n option, or commits in the git range
48	specified with -r option (default: "origin/main..").
49	END_OF_HELP
50}
51
52check_forbidden_additions() { # <patch>
53	res=0
54
55	# refrain from new additions of rte_panic() and rte_exit()
56	# multiple folders and expressions are separated by spaces
57	awk -v FOLDERS="lib drivers" \
58		-v EXPRESSIONS="rte_panic\\\( rte_exit\\\(" \
59		-v RET_ON_FAIL=1 \
60		-v MESSAGE='Using rte_panic/rte_exit' \
61		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
62		"$1" || res=1
63
64	# refrain from using compiler attribute without defining a common macro
65	awk -v FOLDERS="lib drivers app examples" \
66		-v EXPRESSIONS="__attribute__" \
67		-v RET_ON_FAIL=1 \
68		-v MESSAGE='Using compiler attribute directly' \
69		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
70		"$1" || res=1
71
72	# check %l or %ll format specifier
73	awk -v FOLDERS='lib drivers app examples' \
74		-v EXPRESSIONS='%ll*[xud]' \
75		-v RET_ON_FAIL=1 \
76		-v MESSAGE='Using %l format, prefer %PRI*64 if type is [u]int64_t' \
77		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
78		"$1" || res=1
79
80	# forbid variable declaration inside "for" loop
81	awk -v FOLDERS='.' \
82		-v EXPRESSIONS='for[[:space:]]*\\((char|u?int|unsigned|s?size_t)' \
83		-v RET_ON_FAIL=1 \
84		-v MESSAGE='Declaring a variable inside for()' \
85		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
86		"$1" || res=1
87
88	# refrain from new additions of 16/32/64 bits rte_atomicNN_xxx()
89	awk -v FOLDERS="lib drivers app examples" \
90		-v EXPRESSIONS="rte_atomic[0-9][0-9]_.*\\\(" \
91		-v RET_ON_FAIL=1 \
92		-v MESSAGE='Using rte_atomicNN_xxx' \
93		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
94		"$1" || res=1
95
96	# refrain from new additions of rte_smp_[r/w]mb()
97	awk -v FOLDERS="lib drivers app examples" \
98		-v EXPRESSIONS="rte_smp_(r|w)?mb\\\(" \
99		-v RET_ON_FAIL=1 \
100		-v MESSAGE='Using rte_smp_[r/w]mb' \
101		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
102		"$1" || res=1
103
104	# refrain from using compiler __sync_xxx builtins
105	awk -v FOLDERS="lib drivers app examples" \
106		-v EXPRESSIONS="__sync_.*\\\(" \
107		-v RET_ON_FAIL=1 \
108		-v MESSAGE='Using __sync_xxx builtins' \
109		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
110		"$1" || res=1
111
112	# refrain from using compiler __atomic_thread_fence()
113	# It should be avoided on x86 for SMP case.
114	awk -v FOLDERS="lib drivers app examples" \
115		-v EXPRESSIONS="__atomic_thread_fence\\\(" \
116		-v RET_ON_FAIL=1 \
117		-v MESSAGE='Using __atomic_thread_fence' \
118		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
119		"$1" || res=1
120
121	# forbid use of __reserved which is a reserved keyword in Windows system headers
122	awk -v FOLDERS="lib drivers app examples" \
123		-v EXPRESSIONS='\\<__reserved\\>' \
124		-v RET_ON_FAIL=1 \
125		-v MESSAGE='Using __reserved' \
126		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
127		"$1" || res=1
128
129	# forbid use of experimental build flag except in examples
130	awk -v FOLDERS='lib drivers app' \
131		-v EXPRESSIONS='-DALLOW_EXPERIMENTAL_API allow_experimental_apis' \
132		-v RET_ON_FAIL=1 \
133		-v MESSAGE='Using experimental build flag for in-tree compilation' \
134		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
135		"$1" || res=1
136
137	# refrain from using RTE_LOG_REGISTER for drivers and libs
138	awk -v FOLDERS='lib drivers' \
139		-v EXPRESSIONS='\\<RTE_LOG_REGISTER\\>' \
140		-v RET_ON_FAIL=1 \
141		-v MESSAGE='Using RTE_LOG_REGISTER, prefer RTE_LOG_REGISTER_(DEFAULT|SUFFIX)' \
142		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
143		"$1" || res=1
144
145	# forbid inclusion of driver specific headers in apps and examples
146	awk -v FOLDERS='app examples' \
147		-v EXPRESSIONS='include.*_driver\\.h include.*_pmd\\.h' \
148		-v RET_ON_FAIL=1 \
149		-v MESSAGE='Using driver specific headers in applications' \
150		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
151		"$1" || res=1
152
153	# SVG must be included with wildcard extension to allow conversion
154	awk -v FOLDERS='doc' \
155		-v EXPRESSIONS='::[[:space:]]*[^[:space:]]*\\.svg' \
156		-v RET_ON_FAIL=1 \
157		-v MESSAGE='Using explicit .svg extension instead of .*' \
158		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
159		"$1" || res=1
160
161	# links must prefer https over http
162	awk -v FOLDERS='doc' \
163		-v EXPRESSIONS='http://.*dpdk.org' \
164		-v RET_ON_FAIL=1 \
165		-v MESSAGE='Using non https link to dpdk.org' \
166		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
167		"$1" || res=1
168
169	# '// XXX is not set' must be preferred over '#undef XXX'
170	awk -v FOLDERS='config/rte_config.h' \
171		-v EXPRESSIONS='#undef' \
172		-v RET_ON_FAIL=1 \
173		-v MESSAGE='Using "#undef XXX", prefer "// XXX is not set"' \
174		-f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \
175		"$1" || res=1
176
177	return $res
178}
179
180check_experimental_tags() { # <patch>
181	res=0
182
183	cat "$1" |awk '
184	BEGIN {
185		current_file = "";
186		ret = 0;
187	}
188	/^+++ b\// {
189		current_file = $2;
190	}
191	/^+.*__rte_experimental/ {
192		if (current_file ~ ".c$" ) {
193			print "Please only put __rte_experimental tags in " \
194				"headers ("current_file")";
195			ret = 1;
196		}
197		if ($1 != "+__rte_experimental" || $2 != "") {
198			print "__rte_experimental must appear alone on the line" \
199				" immediately preceding the return type of a function."
200			ret = 1;
201		}
202	}
203	END {
204		exit ret;
205	}' || res=1
206
207	return $res
208}
209
210check_internal_tags() { # <patch>
211	res=0
212
213	cat "$1" |awk '
214	BEGIN {
215		current_file = "";
216		ret = 0;
217	}
218	/^+++ b\// {
219		current_file = $2;
220	}
221	/^+.*__rte_internal/ {
222		if (current_file ~ ".c$" ) {
223			print "Please only put __rte_internal tags in " \
224				"headers ("current_file")";
225			ret = 1;
226		}
227		if ($1 != "+__rte_internal" || $2 != "") {
228			print "__rte_internal must appear alone on the line" \
229				" immediately preceding the return type of" \
230				" a function."
231			ret = 1;
232		}
233	}
234	END {
235		exit ret;
236	}' || res=1
237
238	return $res
239}
240
241check_release_notes() { # <patch>
242	rel_notes_prefix=doc/guides/rel_notes/release_
243	IFS=. read year month release < VERSION
244	current_rel_notes=${rel_notes_prefix}${year}_${month}.rst
245
246	! grep -e '^--- a/'$rel_notes_prefix -e '^+++ b/'$rel_notes_prefix "$1" |
247		grep -v $current_rel_notes
248}
249
250number=0
251range='origin/main..'
252quiet=false
253verbose=false
254while getopts hn:qr:v ARG ; do
255	case $ARG in
256		n ) number=$OPTARG ;;
257		q ) quiet=true ;;
258		r ) range=$OPTARG ;;
259		v ) verbose=true ;;
260		h ) print_usage ; exit 0 ;;
261		? ) print_usage ; exit 1 ;;
262	esac
263done
264shift $(($OPTIND - 1))
265
266if [ ! -f "$DPDK_CHECKPATCH_PATH" ] || [ ! -x "$DPDK_CHECKPATCH_PATH" ] ; then
267	print_usage >&2
268	echo
269	echo 'Cannot execute DPDK_CHECKPATCH_PATH' >&2
270	exit 1
271fi
272
273print_headline() { # <title>
274	printf '\n### %s\n\n' "$1"
275	headline_printed=true
276}
277
278total=0
279status=0
280
281check () { # <patch> <commit> <title>
282	local ret=0
283	headline_printed=false
284
285	total=$(($total + 1))
286	! $verbose || print_headline "$3"
287	if [ -n "$1" ] ; then
288		tmpinput=$1
289	else
290		tmpinput=$(mktemp -t dpdk.checkpatches.XXXXXX)
291		trap "rm -f '$tmpinput'" INT
292
293		if [ -n "$2" ] ; then
294			git format-patch --find-renames \
295			--no-stat --stdout -1 $commit > "$tmpinput"
296		else
297			cat > "$tmpinput"
298		fi
299	fi
300
301	! $verbose || printf 'Running checkpatch.pl:\n'
302	report=$($DPDK_CHECKPATCH_PATH $options "$tmpinput" 2>/dev/null)
303	if [ $? -ne 0 ] ; then
304		$headline_printed || print_headline "$3"
305		printf '%s\n' "$report" | sed -n '1,/^total:.*lines checked$/p'
306		ret=1
307	fi
308
309	! $verbose || printf '\nChecking API additions/removals:\n'
310	report=$($VALIDATE_NEW_API "$tmpinput")
311	if [ $? -ne 0 ] ; then
312		$headline_printed || print_headline "$3"
313		printf '%s\n' "$report"
314		ret=1
315	fi
316
317	! $verbose || printf '\nChecking forbidden tokens additions:\n'
318	report=$(check_forbidden_additions "$tmpinput")
319	if [ $? -ne 0 ] ; then
320		$headline_printed || print_headline "$3"
321		printf '%s\n' "$report"
322		ret=1
323	fi
324
325	! $verbose || printf '\nChecking __rte_experimental tags:\n'
326	report=$(check_experimental_tags "$tmpinput")
327	if [ $? -ne 0 ] ; then
328		$headline_printed || print_headline "$3"
329		printf '%s\n' "$report"
330		ret=1
331	fi
332
333	! $verbose || printf '\nChecking __rte_internal tags:\n'
334	report=$(check_internal_tags "$tmpinput")
335	if [ $? -ne 0 ] ; then
336		$headline_printed || print_headline "$3"
337		printf '%s\n' "$report"
338		ret=1
339	fi
340
341	! $verbose || printf '\nChecking release notes updates:\n'
342	report=$(check_release_notes "$tmpinput")
343	if [ $? -ne 0 ] ; then
344		$headline_printed || print_headline "$3"
345		printf '%s\n' "$report"
346		ret=1
347	fi
348
349	if [ "$tmpinput" != "$1" ]; then
350		rm -f "$tmpinput"
351		trap - INT
352	fi
353	[ $ret -eq 0 ] && return 0
354
355	status=$(($status + 1))
356}
357
358if [ -n "$1" ] ; then
359	for patch in "$@" ; do
360		# Subject can be on 2 lines
361		subject=$(sed '/^Subject: */!d;s///;N;s,\n[[:space:]]\+, ,;s,\n.*,,;q' "$patch")
362		check "$patch" '' "$subject"
363	done
364elif [ ! -t 0 ] ; then # stdin
365	subject=$(while read header value ; do
366		if [ "$header" = 'Subject:' ] ; then
367			IFS= read next
368			continuation=$(echo "$next" | sed -n 's,^[[:space:]]\+, ,p')
369			echo $value$continuation
370			break
371		fi
372	done)
373	check '' '' "$subject"
374else
375	if [ $number -eq 0 ] ; then
376		commits=$(git rev-list --reverse $range)
377	else
378		commits=$(git rev-list --reverse --max-count=$number HEAD)
379	fi
380	for commit in $commits ; do
381		subject=$(git log --format='%s' -1 $commit)
382		check '' $commit "$subject"
383	done
384fi
385pass=$(($total - $status))
386$quiet || printf '\n%d/%d valid patch' $pass $total
387$quiet || [ $pass -le 1 ] || printf 'es'
388$quiet || printf '\n'
389exit $status
390