2013-03-03 04:36:26 +07:00
|
|
|
#!/bin/bash
|
2016-06-30 05:14:58 +07:00
|
|
|
# Linux kernel coccicheck
|
|
|
|
#
|
2016-10-07 21:06:15 +07:00
|
|
|
# Read Documentation/dev-tools/coccinelle.rst
|
2013-07-03 21:41:01 +07:00
|
|
|
#
|
|
|
|
# This script requires at least spatch
|
|
|
|
# version 1.0.0-rc11.
|
|
|
|
|
2016-06-30 05:14:57 +07:00
|
|
|
DIR="$(dirname $(readlink -f $0))/.."
|
2010-06-06 22:15:01 +07:00
|
|
|
SPATCH="`which ${SPATCH:=spatch}`"
|
|
|
|
|
2016-06-30 05:14:51 +07:00
|
|
|
if [ ! -x "$SPATCH" ]; then
|
|
|
|
echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2016-06-30 05:14:57 +07:00
|
|
|
SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')
|
|
|
|
SPATCH_VERSION_NUM=$(echo $SPATCH_VERSION | ${DIR}/scripts/ld-version.sh)
|
|
|
|
|
coccicheck: enable parmap support
Coccinelle has had parmap support since 1.0.2, this means
it supports --jobs, enabling built-in multithreaded functionality,
instead of needing one to script it out. Just look for --jobs
in the help output to determine if this is supported and use it
only if your number of processors detected is > 1.
If parmap is enabled also enable the load balancing to be dynamic, so
that if a thread finishes early we keep feeding it.
stderr is currently sent to /dev/null, addressing a way to capture
that will be addressed next.
If --jobs is not supported we fallback to the old mechanism.
We expect to deprecate the old mechanism as soon as we can get
confirmation all users are ready.
While at it propagate back into the shell script any coccinelle error
code. When used in serialized mode where all cocci files are run this
also stops processing if an error has occured. This lets us handle some
errors in coccinelle cocci files and if they bail out we should inspect
the errors. This will be more useful later to help annotate coccinelle
version dependency requirements. This will let you run only SmPL files
that your system supports.
Extend Documentation/coccinelle.txt as well.
As a small example, prior to this change, on an 8-core system:
Before:
$ export COCCI=scripts/coccinelle/free/kfree.cocci
$ time make coccicheck MODE=report
...
real 29m14.912s
user 103m1.796s
sys 0m4.464s
After:
real 16m22.435s
user 128m30.060s
sys 0m2.712s
v4:
o expand Documentation/coccinelle.txt to reflect parmap support info
o update commit log to reflect what we actually do now with stderr
o split out DEBUG_FILE use into another patch
o detect number of CPUs and if its 1 then skip parmap support,
note that if you still support parmap, but have 1 CPU you will
also go through the new branches, so the old complex multithreaded process
is skipped as well.
v3:
o move USE_JOBS to avoid being overriden
v2:
o redirect coccinelle stderr to /dev/null by default and
only if DEBUG_FILE is used do we pass it to a file
o fix typo of paramap/parmap
Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
2016-06-30 05:14:53 +07:00
|
|
|
USE_JOBS="no"
|
|
|
|
$SPATCH --help | grep "\-\-jobs" > /dev/null && USE_JOBS="yes"
|
2013-06-19 04:49:29 +07:00
|
|
|
|
2013-01-29 23:03:37 +07:00
|
|
|
# The verbosity may be set by the environmental parameter V=
|
|
|
|
# as for example with 'make V=1 coccicheck'
|
|
|
|
|
|
|
|
if [ -n "$V" -a "$V" != "0" ]; then
|
2013-06-19 04:49:29 +07:00
|
|
|
VERBOSE="$V"
|
2013-01-29 23:03:37 +07:00
|
|
|
else
|
|
|
|
VERBOSE=0
|
|
|
|
fi
|
|
|
|
|
2013-06-19 04:49:29 +07:00
|
|
|
if [ -z "$J" ]; then
|
|
|
|
NPROC=$(getconf _NPROCESSORS_ONLN)
|
|
|
|
else
|
|
|
|
NPROC="$J"
|
|
|
|
fi
|
|
|
|
|
2016-06-30 05:14:52 +07:00
|
|
|
FLAGS="--very-quiet"
|
2013-03-03 04:36:26 +07:00
|
|
|
|
2016-06-30 05:14:55 +07:00
|
|
|
# You can use SPFLAGS to append extra arguments to coccicheck or override any
|
|
|
|
# heuristics done in this file as Coccinelle accepts the last options when
|
|
|
|
# options conflict.
|
|
|
|
#
|
|
|
|
# A good example for use of SPFLAGS is if you want to debug your cocci script,
|
|
|
|
# you can for instance use the following:
|
|
|
|
#
|
|
|
|
# $ export COCCI=scripts/coccinelle/misc/irqf_oneshot.cocci
|
|
|
|
# $ make coccicheck MODE=report DEBUG_FILE="all.err" SPFLAGS="--profile --show-trying" M=./drivers/mfd/arizona-irq.c
|
|
|
|
#
|
|
|
|
# "--show-trying" should show you what rule is being processed as it goes to
|
|
|
|
# stdout, you do not need a debug file for that. The profile output will be
|
|
|
|
# be sent to stdout, if you provide a DEBUG_FILE the profiling data can be
|
|
|
|
# inspected there.
|
|
|
|
#
|
|
|
|
# --profile will not output if --very-quiet is used, so avoid it.
|
|
|
|
echo $SPFLAGS | egrep -e "--profile|--show-trying" 2>&1 > /dev/null
|
|
|
|
if [ $? -eq 0 ]; then
|
|
|
|
FLAGS="--quiet"
|
|
|
|
fi
|
|
|
|
|
2013-03-03 04:36:26 +07:00
|
|
|
# spatch only allows include directories with the syntax "-I include"
|
|
|
|
# while gcc also allows "-Iinclude" and "-include include"
|
|
|
|
COCCIINCLUDE=${LINUXINCLUDE//-I/-I }
|
2015-09-22 20:15:30 +07:00
|
|
|
COCCIINCLUDE=${COCCIINCLUDE// -include/ --include}
|
2013-03-03 04:36:26 +07:00
|
|
|
|
2010-06-13 14:26:34 +07:00
|
|
|
if [ "$C" = "1" -o "$C" = "2" ]; then
|
|
|
|
ONLINE=1
|
|
|
|
|
2013-03-03 04:36:26 +07:00
|
|
|
# Take only the last argument, which is the C file to test
|
|
|
|
shift $(( $# - 1 ))
|
|
|
|
OPTIONS="$COCCIINCLUDE $1"
|
2010-06-13 14:26:34 +07:00
|
|
|
else
|
|
|
|
ONLINE=0
|
2011-11-06 08:59:43 +07:00
|
|
|
if [ "$KBUILD_EXTMOD" = "" ] ; then
|
2013-06-20 18:10:56 +07:00
|
|
|
OPTIONS="--dir $srctree $COCCIINCLUDE"
|
2011-11-06 08:59:43 +07:00
|
|
|
else
|
2013-06-20 18:10:56 +07:00
|
|
|
OPTIONS="--dir $KBUILD_EXTMOD $COCCIINCLUDE"
|
2011-11-06 08:59:43 +07:00
|
|
|
fi
|
2010-06-13 14:26:34 +07:00
|
|
|
fi
|
|
|
|
|
2013-03-03 04:36:28 +07:00
|
|
|
if [ "$KBUILD_EXTMOD" != "" ] ; then
|
2013-06-20 18:10:56 +07:00
|
|
|
OPTIONS="--patch $srctree $OPTIONS"
|
2013-03-03 04:36:28 +07:00
|
|
|
fi
|
|
|
|
|
coccicheck: enable parmap support
Coccinelle has had parmap support since 1.0.2, this means
it supports --jobs, enabling built-in multithreaded functionality,
instead of needing one to script it out. Just look for --jobs
in the help output to determine if this is supported and use it
only if your number of processors detected is > 1.
If parmap is enabled also enable the load balancing to be dynamic, so
that if a thread finishes early we keep feeding it.
stderr is currently sent to /dev/null, addressing a way to capture
that will be addressed next.
If --jobs is not supported we fallback to the old mechanism.
We expect to deprecate the old mechanism as soon as we can get
confirmation all users are ready.
While at it propagate back into the shell script any coccinelle error
code. When used in serialized mode where all cocci files are run this
also stops processing if an error has occured. This lets us handle some
errors in coccinelle cocci files and if they bail out we should inspect
the errors. This will be more useful later to help annotate coccinelle
version dependency requirements. This will let you run only SmPL files
that your system supports.
Extend Documentation/coccinelle.txt as well.
As a small example, prior to this change, on an 8-core system:
Before:
$ export COCCI=scripts/coccinelle/free/kfree.cocci
$ time make coccicheck MODE=report
...
real 29m14.912s
user 103m1.796s
sys 0m4.464s
After:
real 16m22.435s
user 128m30.060s
sys 0m2.712s
v4:
o expand Documentation/coccinelle.txt to reflect parmap support info
o update commit log to reflect what we actually do now with stderr
o split out DEBUG_FILE use into another patch
o detect number of CPUs and if its 1 then skip parmap support,
note that if you still support parmap, but have 1 CPU you will
also go through the new branches, so the old complex multithreaded process
is skipped as well.
v3:
o move USE_JOBS to avoid being overriden
v2:
o redirect coccinelle stderr to /dev/null by default and
only if DEBUG_FILE is used do we pass it to a file
o fix typo of paramap/parmap
Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
2016-06-30 05:14:53 +07:00
|
|
|
# You can override by using SPFLAGS
|
|
|
|
if [ "$USE_JOBS" = "no" ]; then
|
|
|
|
trap kill_running SIGTERM SIGINT
|
|
|
|
declare -a SPATCH_PID
|
|
|
|
elif [ "$NPROC" != "1" ]; then
|
|
|
|
# Using 0 should work as well, refer to _SC_NPROCESSORS_ONLN use on
|
|
|
|
# https://github.com/rdicosmo/parmap/blob/master/setcore_stubs.c
|
|
|
|
OPTIONS="$OPTIONS --jobs $NPROC --chunksize 1"
|
|
|
|
fi
|
|
|
|
|
2010-06-06 22:15:01 +07:00
|
|
|
if [ "$MODE" = "" ] ; then
|
2010-06-13 14:26:34 +07:00
|
|
|
if [ "$ONLINE" = "0" ] ; then
|
2013-06-07 04:39:52 +07:00
|
|
|
echo 'You have not explicitly specified the mode to use. Using default "report" mode.'
|
|
|
|
echo 'Available modes are the following: patch, report, context, org'
|
2010-06-13 14:26:34 +07:00
|
|
|
echo 'You can specify the mode with "make coccicheck MODE=<mode>"'
|
2013-06-07 04:39:52 +07:00
|
|
|
echo 'Note however that some modes are not implemented by some semantic patches.'
|
|
|
|
fi
|
|
|
|
MODE="report"
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ "$MODE" = "chain" ] ; then
|
|
|
|
if [ "$ONLINE" = "0" ] ; then
|
|
|
|
echo 'You have selected the "chain" mode.'
|
|
|
|
echo 'All available modes will be tried (in that order): patch, report, context, org'
|
2010-06-13 14:26:34 +07:00
|
|
|
fi
|
2010-10-09 02:27:41 +07:00
|
|
|
elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
|
2016-06-13 02:04:39 +07:00
|
|
|
FLAGS="--no-show-diff $FLAGS"
|
2010-06-06 22:15:01 +07:00
|
|
|
fi
|
|
|
|
|
2010-06-13 14:26:34 +07:00
|
|
|
if [ "$ONLINE" = "0" ] ; then
|
|
|
|
echo ''
|
|
|
|
echo 'Please check for false positives in the output before submitting a patch.'
|
|
|
|
echo 'When using "patch" mode, carefully review the patch before submitting it.'
|
|
|
|
echo ''
|
|
|
|
fi
|
2010-06-06 22:15:01 +07:00
|
|
|
|
coccicheck: enable parmap support
Coccinelle has had parmap support since 1.0.2, this means
it supports --jobs, enabling built-in multithreaded functionality,
instead of needing one to script it out. Just look for --jobs
in the help output to determine if this is supported and use it
only if your number of processors detected is > 1.
If parmap is enabled also enable the load balancing to be dynamic, so
that if a thread finishes early we keep feeding it.
stderr is currently sent to /dev/null, addressing a way to capture
that will be addressed next.
If --jobs is not supported we fallback to the old mechanism.
We expect to deprecate the old mechanism as soon as we can get
confirmation all users are ready.
While at it propagate back into the shell script any coccinelle error
code. When used in serialized mode where all cocci files are run this
also stops processing if an error has occured. This lets us handle some
errors in coccinelle cocci files and if they bail out we should inspect
the errors. This will be more useful later to help annotate coccinelle
version dependency requirements. This will let you run only SmPL files
that your system supports.
Extend Documentation/coccinelle.txt as well.
As a small example, prior to this change, on an 8-core system:
Before:
$ export COCCI=scripts/coccinelle/free/kfree.cocci
$ time make coccicheck MODE=report
...
real 29m14.912s
user 103m1.796s
sys 0m4.464s
After:
real 16m22.435s
user 128m30.060s
sys 0m2.712s
v4:
o expand Documentation/coccinelle.txt to reflect parmap support info
o update commit log to reflect what we actually do now with stderr
o split out DEBUG_FILE use into another patch
o detect number of CPUs and if its 1 then skip parmap support,
note that if you still support parmap, but have 1 CPU you will
also go through the new branches, so the old complex multithreaded process
is skipped as well.
v3:
o move USE_JOBS to avoid being overriden
v2:
o redirect coccinelle stderr to /dev/null by default and
only if DEBUG_FILE is used do we pass it to a file
o fix typo of paramap/parmap
Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
2016-06-30 05:14:53 +07:00
|
|
|
run_cmd_parmap() {
|
|
|
|
if [ $VERBOSE -ne 0 ] ; then
|
|
|
|
echo "Running ($NPROC in parallel): $@"
|
|
|
|
fi
|
2016-06-30 05:14:54 +07:00
|
|
|
if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then
|
|
|
|
if [ -f $DEBUG_FILE ]; then
|
|
|
|
echo "Debug file $DEBUG_FILE exists, bailing"
|
|
|
|
exit
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
DEBUG_FILE="/dev/null"
|
|
|
|
fi
|
|
|
|
$@ 2>$DEBUG_FILE
|
coccicheck: enable parmap support
Coccinelle has had parmap support since 1.0.2, this means
it supports --jobs, enabling built-in multithreaded functionality,
instead of needing one to script it out. Just look for --jobs
in the help output to determine if this is supported and use it
only if your number of processors detected is > 1.
If parmap is enabled also enable the load balancing to be dynamic, so
that if a thread finishes early we keep feeding it.
stderr is currently sent to /dev/null, addressing a way to capture
that will be addressed next.
If --jobs is not supported we fallback to the old mechanism.
We expect to deprecate the old mechanism as soon as we can get
confirmation all users are ready.
While at it propagate back into the shell script any coccinelle error
code. When used in serialized mode where all cocci files are run this
also stops processing if an error has occured. This lets us handle some
errors in coccinelle cocci files and if they bail out we should inspect
the errors. This will be more useful later to help annotate coccinelle
version dependency requirements. This will let you run only SmPL files
that your system supports.
Extend Documentation/coccinelle.txt as well.
As a small example, prior to this change, on an 8-core system:
Before:
$ export COCCI=scripts/coccinelle/free/kfree.cocci
$ time make coccicheck MODE=report
...
real 29m14.912s
user 103m1.796s
sys 0m4.464s
After:
real 16m22.435s
user 128m30.060s
sys 0m2.712s
v4:
o expand Documentation/coccinelle.txt to reflect parmap support info
o update commit log to reflect what we actually do now with stderr
o split out DEBUG_FILE use into another patch
o detect number of CPUs and if its 1 then skip parmap support,
note that if you still support parmap, but have 1 CPU you will
also go through the new branches, so the old complex multithreaded process
is skipped as well.
v3:
o move USE_JOBS to avoid being overriden
v2:
o redirect coccinelle stderr to /dev/null by default and
only if DEBUG_FILE is used do we pass it to a file
o fix typo of paramap/parmap
Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
2016-06-30 05:14:53 +07:00
|
|
|
if [[ $? -ne 0 ]]; then
|
|
|
|
echo "coccicheck failed"
|
|
|
|
exit $?
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
run_cmd_old() {
|
2013-06-19 04:49:29 +07:00
|
|
|
local i
|
2013-01-29 23:03:42 +07:00
|
|
|
if [ $VERBOSE -ne 0 ] ; then
|
2013-06-19 04:49:29 +07:00
|
|
|
echo "Running ($NPROC in parallel): $@"
|
2013-01-29 23:03:42 +07:00
|
|
|
fi
|
2013-06-19 04:49:29 +07:00
|
|
|
for i in $(seq 0 $(( NPROC - 1)) ); do
|
2013-06-20 18:10:56 +07:00
|
|
|
eval "$@ --max $NPROC --index $i &"
|
2013-06-19 04:49:29 +07:00
|
|
|
SPATCH_PID[$i]=$!
|
|
|
|
if [ $VERBOSE -eq 2 ] ; then
|
|
|
|
echo "${SPATCH_PID[$i]} running"
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
wait
|
2013-01-29 23:03:42 +07:00
|
|
|
}
|
|
|
|
|
coccicheck: enable parmap support
Coccinelle has had parmap support since 1.0.2, this means
it supports --jobs, enabling built-in multithreaded functionality,
instead of needing one to script it out. Just look for --jobs
in the help output to determine if this is supported and use it
only if your number of processors detected is > 1.
If parmap is enabled also enable the load balancing to be dynamic, so
that if a thread finishes early we keep feeding it.
stderr is currently sent to /dev/null, addressing a way to capture
that will be addressed next.
If --jobs is not supported we fallback to the old mechanism.
We expect to deprecate the old mechanism as soon as we can get
confirmation all users are ready.
While at it propagate back into the shell script any coccinelle error
code. When used in serialized mode where all cocci files are run this
also stops processing if an error has occured. This lets us handle some
errors in coccinelle cocci files and if they bail out we should inspect
the errors. This will be more useful later to help annotate coccinelle
version dependency requirements. This will let you run only SmPL files
that your system supports.
Extend Documentation/coccinelle.txt as well.
As a small example, prior to this change, on an 8-core system:
Before:
$ export COCCI=scripts/coccinelle/free/kfree.cocci
$ time make coccicheck MODE=report
...
real 29m14.912s
user 103m1.796s
sys 0m4.464s
After:
real 16m22.435s
user 128m30.060s
sys 0m2.712s
v4:
o expand Documentation/coccinelle.txt to reflect parmap support info
o update commit log to reflect what we actually do now with stderr
o split out DEBUG_FILE use into another patch
o detect number of CPUs and if its 1 then skip parmap support,
note that if you still support parmap, but have 1 CPU you will
also go through the new branches, so the old complex multithreaded process
is skipped as well.
v3:
o move USE_JOBS to avoid being overriden
v2:
o redirect coccinelle stderr to /dev/null by default and
only if DEBUG_FILE is used do we pass it to a file
o fix typo of paramap/parmap
Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
2016-06-30 05:14:53 +07:00
|
|
|
run_cmd() {
|
|
|
|
if [ "$USE_JOBS" = "yes" ]; then
|
|
|
|
run_cmd_parmap $@
|
|
|
|
else
|
|
|
|
run_cmd_old $@
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
2013-06-19 04:49:29 +07:00
|
|
|
kill_running() {
|
2016-05-16 19:55:58 +07:00
|
|
|
for i in $(seq 0 $(( NPROC - 1 )) ); do
|
2013-06-19 04:49:29 +07:00
|
|
|
if [ $VERBOSE -eq 2 ] ; then
|
|
|
|
echo "Killing ${SPATCH_PID[$i]}"
|
|
|
|
fi
|
|
|
|
kill ${SPATCH_PID[$i]} 2>/dev/null
|
|
|
|
done
|
|
|
|
}
|
2013-01-29 23:03:42 +07:00
|
|
|
|
2016-06-30 05:14:52 +07:00
|
|
|
# You can override heuristics with SPFLAGS, these must always go last
|
|
|
|
OPTIONS="$OPTIONS $SPFLAGS"
|
|
|
|
|
2010-06-13 14:26:34 +07:00
|
|
|
coccinelle () {
|
2010-06-06 22:15:01 +07:00
|
|
|
COCCI="$1"
|
|
|
|
|
|
|
|
OPT=`grep "Option" $COCCI | cut -d':' -f2`
|
2016-06-30 05:14:57 +07:00
|
|
|
REQ=`grep "Requires" $COCCI | cut -d':' -f2 | sed "s| ||"`
|
|
|
|
REQ_NUM=$(echo $REQ | ${DIR}/scripts/ld-version.sh)
|
|
|
|
if [ "$REQ_NUM" != "0" ] ; then
|
|
|
|
if [ "$SPATCH_VERSION_NUM" -lt "$REQ_NUM" ] ; then
|
|
|
|
echo "Skipping coccinele SmPL patch: $COCCI"
|
|
|
|
echo "You have coccinelle: $SPATCH_VERSION"
|
|
|
|
echo "This SmPL patch requires: $REQ"
|
|
|
|
return
|
|
|
|
fi
|
|
|
|
fi
|
2010-06-06 22:15:01 +07:00
|
|
|
|
2013-06-20 18:10:56 +07:00
|
|
|
# The option '--parse-cocci' can be used to syntactically check the SmPL files.
|
2010-06-13 14:26:34 +07:00
|
|
|
#
|
|
|
|
# $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null
|
2010-06-06 22:15:01 +07:00
|
|
|
|
2013-03-03 04:36:25 +07:00
|
|
|
if [ $VERBOSE -ne 0 -a $ONLINE -eq 0 ] ; then
|
2010-06-06 22:15:01 +07:00
|
|
|
|
2010-06-13 14:26:34 +07:00
|
|
|
FILE=`echo $COCCI | sed "s|$srctree/||"`
|
2010-06-06 22:15:01 +07:00
|
|
|
|
2010-10-09 02:27:38 +07:00
|
|
|
echo "Processing `basename $COCCI`"
|
|
|
|
echo "with option(s) \"$OPT\""
|
|
|
|
echo ''
|
2010-06-13 14:26:34 +07:00
|
|
|
echo 'Message example to submit a patch:'
|
|
|
|
|
2010-10-09 02:27:38 +07:00
|
|
|
sed -ne 's|^///||p' $COCCI
|
2010-06-13 14:26:34 +07:00
|
|
|
|
2010-10-25 04:37:34 +07:00
|
|
|
if [ "$MODE" = "patch" ] ; then
|
|
|
|
echo ' The semantic patch that makes this change is available'
|
|
|
|
elif [ "$MODE" = "report" ] ; then
|
|
|
|
echo ' The semantic patch that makes this report is available'
|
|
|
|
elif [ "$MODE" = "context" ] ; then
|
|
|
|
echo ' The semantic patch that spots this code is available'
|
|
|
|
elif [ "$MODE" = "org" ] ; then
|
|
|
|
echo ' The semantic patch that makes this Org report is available'
|
|
|
|
else
|
|
|
|
echo ' The semantic patch that makes this output is available'
|
|
|
|
fi
|
2010-06-13 14:26:34 +07:00
|
|
|
echo " in $FILE."
|
|
|
|
echo ''
|
|
|
|
echo ' More information about semantic patching is available at'
|
|
|
|
echo ' http://coccinelle.lip6.fr/'
|
|
|
|
echo ''
|
|
|
|
|
2010-10-09 02:27:38 +07:00
|
|
|
if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
|
|
|
|
echo 'Semantic patch information:'
|
|
|
|
sed -ne 's|^//#||p' $COCCI
|
|
|
|
echo ''
|
|
|
|
fi
|
2010-10-09 02:27:40 +07:00
|
|
|
fi
|
2010-10-09 02:27:38 +07:00
|
|
|
|
2010-10-09 02:27:40 +07:00
|
|
|
if [ "$MODE" = "chain" ] ; then
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D patch \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D report \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D context \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS || \
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D org \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1
|
2012-09-21 03:30:46 +07:00
|
|
|
elif [ "$MODE" = "rep+ctxt" ] ; then
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D report \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \
|
2013-01-29 23:03:42 +07:00
|
|
|
run_cmd $SPATCH -D context \
|
2013-06-20 18:10:56 +07:00
|
|
|
$FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
|
2010-06-13 14:26:34 +07:00
|
|
|
else
|
2013-06-20 18:10:56 +07:00
|
|
|
run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1
|
2010-06-13 14:26:34 +07:00
|
|
|
fi
|
2010-06-06 22:15:01 +07:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
if [ "$COCCI" = "" ] ; then
|
|
|
|
for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | sort`; do
|
2010-06-13 14:26:34 +07:00
|
|
|
coccinelle $f
|
2010-06-06 22:15:01 +07:00
|
|
|
done
|
|
|
|
else
|
2010-06-13 14:26:34 +07:00
|
|
|
coccinelle $COCCI
|
2010-06-06 22:15:01 +07:00
|
|
|
fi
|