blob: 3c2776466d877325d63b1980b798b8b0f9d6f556 [file] [log] [blame]
Nicolas Palix74425ee2010-06-06 17:15:01 +02001#!/bin/sh
2
3SPATCH="`which ${SPATCH:=spatch}`"
4
Nicolas Palix1e9dea22010-06-13 09:26:34 +02005if [ "$C" = "1" -o "$C" = "2" ]; then
6 ONLINE=1
7
8# This requires Coccinelle >= 0.2.3
9# FLAGS="-ignore_unknown_options -very_quiet"
10# OPTIONS=$*
11
Greg Dietsched0bc1fb2011-11-05 20:59:43 -050012 if [ "$KBUILD_EXTMOD" = "" ] ; then
13 # Workaround for Coccinelle < 0.2.3
14 FLAGS="-I $srctree/include -very_quiet"
15 shift $(( $# - 1 ))
16 OPTIONS=$1
17 else
18 echo M= is not currently supported when C=1 or C=2
19 exit 1
20 fi
Nicolas Palix1e9dea22010-06-13 09:26:34 +020021else
22 ONLINE=0
23 FLAGS="-very_quiet"
Greg Dietsched0bc1fb2011-11-05 20:59:43 -050024 if [ "$KBUILD_EXTMOD" = "" ] ; then
25 OPTIONS="-dir $srctree"
26 else
27 OPTIONS="-dir $KBUILD_EXTMOD -patch $srctree -I $srctree/include -I $KBUILD_EXTMOD/include"
28 fi
Nicolas Palix1e9dea22010-06-13 09:26:34 +020029fi
30
Nicolas Palix74425ee2010-06-06 17:15:01 +020031if [ ! -x "$SPATCH" ]; then
32 echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
33 exit 1
34fi
35
36if [ "$MODE" = "" ] ; then
Nicolas Palix1e9dea22010-06-13 09:26:34 +020037 if [ "$ONLINE" = "0" ] ; then
Nicolas Palix2c1160c2010-10-08 21:27:40 +020038 echo 'You have not explicitly specified the mode to use. Using default "chain" mode.'
39 echo 'All available modes will be tried (in that order): patch, report, context, org'
Nicolas Palix1e9dea22010-06-13 09:26:34 +020040 echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
Nicolas Palix1e9dea22010-06-13 09:26:34 +020041 fi
Nicolas Palix2c1160c2010-10-08 21:27:40 +020042 MODE="chain"
Nicolas Palix03ee0c42010-10-08 21:27:41 +020043elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
Nicolas Palix062c1822010-10-24 23:37:34 +020044 FLAGS="$FLAGS -no_show_diff"
Nicolas Palix74425ee2010-06-06 17:15:01 +020045fi
46
Nicolas Palix1e9dea22010-06-13 09:26:34 +020047if [ "$ONLINE" = "0" ] ; then
48 echo ''
49 echo 'Please check for false positives in the output before submitting a patch.'
50 echo 'When using "patch" mode, carefully review the patch before submitting it.'
51 echo ''
52fi
Nicolas Palix74425ee2010-06-06 17:15:01 +020053
Nicolas Palix1e9dea22010-06-13 09:26:34 +020054coccinelle () {
Nicolas Palix74425ee2010-06-06 17:15:01 +020055 COCCI="$1"
Nicolas Palix74425ee2010-06-06 17:15:01 +020056
57 OPT=`grep "Option" $COCCI | cut -d':' -f2`
Nicolas Palix74425ee2010-06-06 17:15:01 +020058
Nicolas Palix062c1822010-10-24 23:37:34 +020059# The option '-parse_cocci' can be used to syntactically check the SmPL files.
Nicolas Palix74425ee2010-06-06 17:15:01 +020060#
Nicolas Palix1e9dea22010-06-13 09:26:34 +020061# $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null
Nicolas Palix74425ee2010-06-06 17:15:01 +020062
Nicolas Palix1e9dea22010-06-13 09:26:34 +020063 if [ "$ONLINE" = "0" ] ; then
64
65 FILE=`echo $COCCI | sed "s|$srctree/||"`
66
Nicolas Palix3c908412010-10-08 21:27:38 +020067 echo "Processing `basename $COCCI`"
68 echo "with option(s) \"$OPT\""
69 echo ''
Nicolas Palix1e9dea22010-06-13 09:26:34 +020070 echo 'Message example to submit a patch:'
71
Nicolas Palix3c908412010-10-08 21:27:38 +020072 sed -ne 's|^///||p' $COCCI
Nicolas Palix1e9dea22010-06-13 09:26:34 +020073
Nicolas Palix062c1822010-10-24 23:37:34 +020074 if [ "$MODE" = "patch" ] ; then
75 echo ' The semantic patch that makes this change is available'
76 elif [ "$MODE" = "report" ] ; then
77 echo ' The semantic patch that makes this report is available'
78 elif [ "$MODE" = "context" ] ; then
79 echo ' The semantic patch that spots this code is available'
80 elif [ "$MODE" = "org" ] ; then
81 echo ' The semantic patch that makes this Org report is available'
82 else
83 echo ' The semantic patch that makes this output is available'
84 fi
Nicolas Palix1e9dea22010-06-13 09:26:34 +020085 echo " in $FILE."
86 echo ''
87 echo ' More information about semantic patching is available at'
88 echo ' http://coccinelle.lip6.fr/'
89 echo ''
90
Nicolas Palix3c908412010-10-08 21:27:38 +020091 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
92 echo 'Semantic patch information:'
93 sed -ne 's|^//#||p' $COCCI
94 echo ''
95 fi
Nicolas Palix2c1160c2010-10-08 21:27:40 +020096 fi
Nicolas Palix3c908412010-10-08 21:27:38 +020097
Nicolas Palix2c1160c2010-10-08 21:27:40 +020098 if [ "$MODE" = "chain" ] ; then
Nicolas Palix03ee0c42010-10-08 21:27:41 +020099 $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
100 $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \
101 $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
102 $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1
Nicolas Palix1e9dea22010-06-13 09:26:34 +0200103 else
Nicolas Palix2c1160c2010-10-08 21:27:40 +0200104 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1
Nicolas Palix1e9dea22010-06-13 09:26:34 +0200105 fi
106
Nicolas Palix74425ee2010-06-06 17:15:01 +0200107}
108
109if [ "$COCCI" = "" ] ; then
110 for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
Nicolas Palix1e9dea22010-06-13 09:26:34 +0200111 coccinelle $f
Nicolas Palix74425ee2010-06-06 17:15:01 +0200112 done
113else
Nicolas Palix1e9dea22010-06-13 09:26:34 +0200114 coccinelle $COCCI
Nicolas Palix74425ee2010-06-06 17:15:01 +0200115fi