3 SPATCH
="`which ${SPATCH:=spatch}`"
5 if [ "$C" = "1" -o "$C" = "2" ]; then
8 # This requires Coccinelle >= 0.2.3
9 # FLAGS="-ignore_unknown_options -very_quiet"
12 # Workaround for Coccinelle < 0.2.3
13 FLAGS
="-I $srctree/include -very_quiet"
19 if [ "$KBUILD_EXTMOD" = "" ] ; then
20 OPTIONS
="-dir $srctree"
22 OPTIONS
="-dir $KBUILD_EXTMOD -patch $srctree -I $srctree/include -I $KBUILD_EXTMOD/include"
26 if [ ! -x "$SPATCH" ]; then
27 echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
31 if [ "$MODE" = "" ] ; then
32 if [ "$ONLINE" = "0" ] ; then
33 echo 'You have not explicitly specified the mode to use. Using default "chain" mode.'
34 echo 'All available modes will be tried (in that order): patch, report, context, org'
35 echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
38 elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
39 FLAGS
="$FLAGS -no_show_diff"
42 if [ "$ONLINE" = "0" ] ; then
44 echo 'Please check for false positives in the output before submitting a patch.'
45 echo 'When using "patch" mode, carefully review the patch before submitting it.'
52 OPT
=`grep "Option" $COCCI | cut -d':' -f2`
54 # The option '-parse_cocci' can be used to syntactically check the SmPL files.
56 # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null
58 if [ "$ONLINE" = "0" ] ; then
60 FILE
=`echo $COCCI | sed "s|$srctree/||"`
62 echo "Processing `basename $COCCI`"
63 echo "with option(s) \"$OPT\""
65 echo 'Message example to submit a patch:'
67 sed -ne 's|^///||p' $COCCI
69 if [ "$MODE" = "patch" ] ; then
70 echo ' The semantic patch that makes this change is available'
71 elif [ "$MODE" = "report" ] ; then
72 echo ' The semantic patch that makes this report is available'
73 elif [ "$MODE" = "context" ] ; then
74 echo ' The semantic patch that spots this code is available'
75 elif [ "$MODE" = "org" ] ; then
76 echo ' The semantic patch that makes this Org report is available'
78 echo ' The semantic patch that makes this output is available'
82 echo ' More information about semantic patching is available at'
83 echo ' http://coccinelle.lip6.fr/'
86 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
87 echo 'Semantic patch information:'
88 sed -ne 's|^//#||p' $COCCI
93 if [ "$MODE" = "chain" ] ; then
94 $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \
95 $SPATCH -D report
$FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \
96 $SPATCH -D context
$FLAGS -sp_file $COCCI $OPT $OPTIONS || \
97 $SPATCH -D org
$FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff ||
exit 1
99 $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS ||
exit 1
104 if [ "$COCCI" = "" ] ; then
105 for f
in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
This page took 0.034046 seconds and 5 git commands to generate.