2022-06-08 14:57:36 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -eu
|
|
|
|
|
|
|
|
|
|
DIR="src/bin"
|
|
|
|
|
COCCI_FILES="
|
|
|
|
|
andconst.cocci
|
|
|
|
|
badzero.cocci
|
|
|
|
|
continue.cocci
|
|
|
|
|
free_stack.cocci
|
|
|
|
|
mutex.cocci
|
|
|
|
|
notand.cocci
|
|
|
|
|
notnull.cocci
|
|
|
|
|
null_ref.cocci
|
|
|
|
|
unused.cocci
|
|
|
|
|
use_after_iter.cocci
|
2022-06-23 13:30:30 -07:00
|
|
|
macros.cocci
|
2022-06-08 14:57:36 -07:00
|
|
|
"
|
|
|
|
|
|
|
|
|
|
HAS_ERROR=0
|
|
|
|
|
for f in $COCCI_FILES; do
|
2022-06-19 12:41:03 -07:00
|
|
|
OPTIONS=""
|
2022-06-23 13:30:30 -07:00
|
|
|
if [ "$f" = "macros.cocci" ]; then
|
|
|
|
|
OPTIONS="--defined DIV_ROUND_UP --defined ROUND_UP"
|
2022-06-19 12:41:03 -07:00
|
|
|
fi
|
|
|
|
|
CMD="spatch --timeout 200 --very-quiet --cocci-file scripts/coccinelle/$f --include-headers --dir $DIR $OPTIONS"
|
|
|
|
|
OUT=$($CMD)
|
|
|
|
|
echo "$CMD"
|
|
|
|
|
if [ -n "$OUT" ]; then
|
|
|
|
|
echo "$OUT"
|
|
|
|
|
HAS_ERROR=1
|
|
|
|
|
fi
|
2022-06-08 14:57:36 -07:00
|
|
|
done
|
|
|
|
|
exit $HAS_ERROR
|
