diff options
| -rwxr-xr-x | scripts/coccicheck | 76 |
1 files changed, 51 insertions, 25 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 037424b9ede5..b8bcf1f7bed7 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
| @@ -2,53 +2,79 @@ | |||
| 2 | 2 | ||
| 3 | SPATCH="`which ${SPATCH:=spatch}`" | 3 | SPATCH="`which ${SPATCH:=spatch}`" |
| 4 | 4 | ||
| 5 | if [ "$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 | |||
| 12 | # Workaround for Coccinelle < 0.2.3 | ||
| 13 | FLAGS="-I $srctree/include -very_quiet" | ||
| 14 | shift $(( $# - 1 )) | ||
| 15 | OPTIONS=$1 | ||
| 16 | else | ||
| 17 | ONLINE=0 | ||
| 18 | FLAGS="-very_quiet" | ||
| 19 | fi | ||
| 20 | |||
| 5 | if [ ! -x "$SPATCH" ]; then | 21 | if [ ! -x "$SPATCH" ]; then |
| 6 | echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' | 22 | echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' |
| 7 | exit 1 | 23 | exit 1 |
| 8 | fi | 24 | fi |
| 9 | 25 | ||
| 10 | if [ "$MODE" = "" ] ; then | 26 | if [ "$MODE" = "" ] ; then |
| 11 | echo 'You have not explicitly specify the mode to use. Fallback to "report".' | 27 | if [ "$ONLINE" = "0" ] ; then |
| 12 | echo 'You can specify the mode with "make coccicheck MODE=<mode>"' | 28 | echo 'You have not explicitly specify the mode to use. Fallback to "report".' |
| 13 | echo 'Available modes are: report, patch, context, org' | 29 | echo 'You can specify the mode with "make coccicheck MODE=<mode>"' |
| 30 | echo 'Available modes are: report, patch, context, org' | ||
| 31 | fi | ||
| 14 | MODE="report" | 32 | MODE="report" |
| 15 | fi | 33 | fi |
| 16 | 34 | ||
| 17 | echo '' | 35 | if [ "$ONLINE" = "0" ] ; then |
| 18 | echo 'Please check for false positives in the output before submitting a patch.' | 36 | echo '' |
| 19 | echo 'When using "patch" mode, carefully review the patch before submitting it.' | 37 | echo 'Please check for false positives in the output before submitting a patch.' |
| 20 | echo '' | 38 | echo 'When using "patch" mode, carefully review the patch before submitting it.' |
| 39 | echo '' | ||
| 40 | fi | ||
| 21 | 41 | ||
| 22 | function coccinelle { | 42 | coccinelle () { |
| 23 | COCCI="$1" | 43 | COCCI="$1" |
| 24 | DIR="$2" | ||
| 25 | 44 | ||
| 26 | OPT=`grep "Option" $COCCI | cut -d':' -f2` | 45 | OPT=`grep "Option" $COCCI | cut -d':' -f2` |
| 27 | FILE=`echo $COCCI | sed "s|$DIR/||"` | ||
| 28 | 46 | ||
| 29 | echo "Processing `basename $COCCI` with option(s) \"$OPT\"" | 47 | # The option '-parse_cocci' can be used to syntaxically check the SmPL files. |
| 30 | echo 'Message example to submit a patch:' | 48 | # |
| 49 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null | ||
| 31 | 50 | ||
| 32 | sed -e '/\/\/\//!d' -e 's|^///||' $COCCI | 51 | if [ "$ONLINE" = "0" ] ; then |
| 33 | 52 | ||
| 34 | echo ' The semantic patch that makes this change is available' | 53 | FILE=`echo $COCCI | sed "s|$srctree/||"` |
| 35 | echo " in $FILE." | ||
| 36 | echo '' | ||
| 37 | echo ' More information about semantic patching is available at' | ||
| 38 | echo ' http://coccinelle.lip6.fr/' | ||
| 39 | echo '' | ||
| 40 | 54 | ||
| 41 | # The option '-parse_cocci' can be used to syntaxically check the SmPL files. | 55 | echo "Processing `basename $COCCI` with option(s) \"$OPT\"" |
| 42 | # | 56 | echo 'Message example to submit a patch:' |
| 43 | # $SPATCH -D $MODE -very_quiet -parse_cocci $COCCI $OPT > /dev/null | 57 | |
| 58 | sed -e '/\/\/\//!d' -e 's|^///||' $COCCI | ||
| 59 | |||
| 60 | echo ' The semantic patch that makes this change is available' | ||
| 61 | echo " in $FILE." | ||
| 62 | echo '' | ||
| 63 | echo ' More information about semantic patching is available at' | ||
| 64 | echo ' http://coccinelle.lip6.fr/' | ||
| 65 | echo '' | ||
| 66 | |||
| 67 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT -dir $srctree || exit 1 | ||
| 68 | else | ||
| 69 | $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 | ||
| 70 | fi | ||
| 44 | 71 | ||
| 45 | $SPATCH -D $MODE -very_quiet -sp_file $COCCI $OPT -dir $DIR | ||
| 46 | } | 72 | } |
| 47 | 73 | ||
| 48 | if [ "$COCCI" = "" ] ; then | 74 | if [ "$COCCI" = "" ] ; then |
| 49 | for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do | 75 | for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do |
| 50 | coccinelle $f $srctree; | 76 | coccinelle $f |
| 51 | done | 77 | done |
| 52 | else | 78 | else |
| 53 | coccinelle $COCCI $srctree | 79 | coccinelle $COCCI |
| 54 | fi | 80 | fi |
