linux-imx

#!/bin/bash

# SPDX-License-Identifier: GPL-2.0

# Linux kernel coccicheck

#

# Read Documentation/dev-tools/coccinelle.rst

#

# This script requires at least spatch

# version 1.0.0-rc11.

​

DIR="$(dirname $(readlink -f $0))/.."

SPATCH="`which ${SPATCH:=spatch}`"

​

if [ ! -x "$SPATCH" ]; then

    echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'

    exit 1

fi

​

SPATCH_VERSION=$($SPATCH --version | head -1 | awk '{print $3}')

SPATCH_VERSION_NUM=$(echo $SPATCH_VERSION | ${DIR}/scripts/ld-version.sh)

​

USE_JOBS="no"

$SPATCH --help | grep "\-\-jobs" > /dev/null && USE_JOBS="yes"

​

# 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

    VERBOSE="$V"

else

    VERBOSE=0

fi

​

FLAGS="--very-quiet"

​

# 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

​

# spatch only allows include directories with the syntax "-I include"

# while gcc also allows "-Iinclude" and "-include include"

COCCIINCLUDE=${LINUXINCLUDE//-I/-I }

COCCIINCLUDE=${COCCIINCLUDE// -include/ --include}

​

if [ "$C" = "1" -o "$C" = "2" ]; then

    ONLINE=1

​

    # Take only the last argument, which is the C file to test

    shift $(( $# - 1 ))

    OPTIONS="$COCCIINCLUDE $1"

​

    # No need to parallelize Coccinelle since this mode takes one input file.

    NPROC=1

else

    ONLINE=0

    if [ "$KBUILD_EXTMOD" = "" ] ; then

        OPTIONS="--dir $srctree $COCCIINCLUDE"

    else

        OPTIONS="--dir $KBUILD_EXTMOD $COCCIINCLUDE"

    fi

​

    if [ -z "$J" ]; then

        NPROC=$(getconf _NPROCESSORS_ONLN)

    else

        NPROC="$J"

    fi

fi

​

if [ "$KBUILD_EXTMOD" != "" ] ; then

    OPTIONS="--patch $srctree $OPTIONS"

fi

​

# You can override by using SPFLAGS

if [ "$USE_JOBS" = "no" ]; then

    trap kill_running SIGTERM SIGINT

    declare -a SPATCH_PID