Commit | Line | Data |
---|---|---|
74425eee NP |
1 | #!/bin/sh |
2 | ||
3 | SPATCH="`which ${SPATCH:=spatch}`" | |
4 | ||
26e56720 BS |
5 | # The verbosity may be set by the environmental parameter V= |
6 | # as for example with 'make V=1 coccicheck' | |
7 | ||
8 | if [ -n "$V" -a "$V" != "0" ]; then | |
9 | VERBOSE=1 | |
10 | else | |
11 | VERBOSE=0 | |
12 | fi | |
13 | ||
1e9dea2a NP |
14 | if [ "$C" = "1" -o "$C" = "2" ]; then |
15 | ONLINE=1 | |
16 | ||
17 | # This requires Coccinelle >= 0.2.3 | |
18 | # FLAGS="-ignore_unknown_options -very_quiet" | |
19 | # OPTIONS=$* | |
20 | ||
42f1c01b GD |
21 | # Workaround for Coccinelle < 0.2.3 |
22 | FLAGS="-I $srctree/include -very_quiet" | |
23 | shift $(( $# - 1 )) | |
24 | OPTIONS=$1 | |
1e9dea2a NP |
25 | else |
26 | ONLINE=0 | |
27 | FLAGS="-very_quiet" | |
d0bc1fb4 GD |
28 | if [ "$KBUILD_EXTMOD" = "" ] ; then |
29 | OPTIONS="-dir $srctree" | |
30 | else | |
31 | OPTIONS="-dir $KBUILD_EXTMOD -patch $srctree -I $srctree/include -I $KBUILD_EXTMOD/include" | |
32 | fi | |
1e9dea2a NP |
33 | fi |
34 | ||
74425eee NP |
35 | if [ ! -x "$SPATCH" ]; then |
36 | echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' | |
37 | exit 1 | |
38 | fi | |
39 | ||
40 | if [ "$MODE" = "" ] ; then | |
1e9dea2a | 41 | if [ "$ONLINE" = "0" ] ; then |
2c1160c8 NP |
42 | echo 'You have not explicitly specified the mode to use. Using default "chain" mode.' |
43 | echo 'All available modes will be tried (in that order): patch, report, context, org' | |
1e9dea2a | 44 | echo 'You can specify the mode with "make coccicheck MODE=<mode>"' |
1e9dea2a | 45 | fi |
2c1160c8 | 46 | MODE="chain" |
03ee0c42 | 47 | elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then |
062c1825 | 48 | FLAGS="$FLAGS -no_show_diff" |
74425eee NP |
49 | fi |
50 | ||
1e9dea2a NP |
51 | if [ "$ONLINE" = "0" ] ; then |
52 | echo '' | |
53 | echo 'Please check for false positives in the output before submitting a patch.' | |
54 | echo 'When using "patch" mode, carefully review the patch before submitting it.' | |
55 | echo '' | |
56 | fi | |
74425eee | 57 | |
1e9dea2a | 58 | coccinelle () { |
74425eee | 59 | COCCI="$1" |
74425eee NP |
60 | |
61 | OPT=`grep "Option" $COCCI | cut -d':' -f2` | |
74425eee | 62 | |
062c1825 | 63 | # The option '-parse_cocci' can be used to syntactically check the SmPL files. |
1e9dea2a NP |
64 | # |
65 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null | |
74425eee | 66 | |
26e56720 | 67 | if [ $VERBOSE -ne 0 ] ; then |
74425eee | 68 | |
1e9dea2a | 69 | FILE=`echo $COCCI | sed "s|$srctree/||"` |
74425eee | 70 | |
3c908417 NP |
71 | echo "Processing `basename $COCCI`" |
72 | echo "with option(s) \"$OPT\"" | |
73 | echo '' | |
1e9dea2a NP |
74 | echo 'Message example to submit a patch:' |
75 | ||
3c908417 | 76 | sed -ne 's|^///||p' $COCCI |
1e9dea2a | 77 | |
062c1825 NP |
78 | if [ "$MODE" = "patch" ] ; then |
79 | echo ' The semantic patch that makes this change is available' | |
80 | elif [ "$MODE" = "report" ] ; then | |
81 | echo ' The semantic patch that makes this report is available' | |
82 | elif [ "$MODE" = "context" ] ; then | |
83 | echo ' The semantic patch that spots this code is available' | |
84 | elif [ "$MODE" = "org" ] ; then | |
85 | echo ' The semantic patch that makes this Org report is available' | |
86 | else | |
87 | echo ' The semantic patch that makes this output is available' | |
88 | fi | |
1e9dea2a NP |
89 | echo " in $FILE." |
90 | echo '' | |
91 | echo ' More information about semantic patching is available at' | |
92 | echo ' http://coccinelle.lip6.fr/' | |
93 | echo '' | |
94 | ||
3c908417 NP |
95 | if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then |
96 | echo 'Semantic patch information:' | |
97 | sed -ne 's|^//#||p' $COCCI | |
98 | echo '' | |
99 | fi | |
2c1160c8 | 100 | fi |
3c908417 | 101 | |
2c1160c8 | 102 | if [ "$MODE" = "chain" ] ; then |
03ee0c42 NP |
103 | $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ |
104 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \ | |
105 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \ | |
106 | $SPATCH -D org $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || exit 1 | |
c05cd6dd NP |
107 | elif [ "$MODE" = "rep+ctxt" ] ; then |
108 | $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff && \ | |
109 | $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | |
1e9dea2a | 110 | else |
2c1160c8 | 111 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 |
1e9dea2a | 112 | fi |
74425eee | 113 | |
74425eee NP |
114 | } |
115 | ||
116 | if [ "$COCCI" = "" ] ; then | |
117 | for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do | |
1e9dea2a | 118 | coccinelle $f |
74425eee NP |
119 | done |
120 | else | |
1e9dea2a | 121 | coccinelle $COCCI |
74425eee | 122 | fi |