Please check for false positives in the output before submitting a patch. When using "patch" mode, carefully review the patch before submitting it. /usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 48 --chunksize 1 --use-patch-diff 91ac8813ff12db552e7a3e14b5c5cd4d4f90f7a6..62532cf879ecb0f13d52cae2da44c22ce2504696 grep: warning: + at start of expression grep: warning: + at start of expression grep: warning: + at start of expression /usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 48 --chunksize 1 --use-patch-diff 91ac8813ff12db552e7a3e14b5c5cd4d4f90f7a6..62532cf879ecb0f13d52cae2da44c22ce2504696 grep: warning: + at start of expression grep: warning: + at start of expression grep: warning: + at start of expression /usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/zalloc-simple.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 48 --chunksize 1 --use-patch-diff 91ac8813ff12db552e7a3e14b5c5cd4d4f90f7a6..62532cf879ecb0f13d52cae2da44c22ce2504696 grep: warning: + at start of expression grep: warning: + at start of expression grep: warning: + at start of expression /usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/atomic_as_refcounter.cocci --include-headers --very-quiet --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 48 --chunksize 1 --use-patch-diff 91ac8813ff12db552e7a3e14b5c5cd4d4f90f7a6..62532cf879ecb0f13d52cae2da44c22ce2504696 grep: warning: + at start of expression grep: warning: + at start of expression grep: warning: + at start of expression /home/cocci/testing/drivers/net/ethernet/broadcom/bnxt/bnxt.c:5426:6-25: WARNING: atomic_dec_and_test variation before object free at line 5433. /usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/check_bq27xxx_data.cocci --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/compiler-version.h --include ./include/linux/kconfig.h --jobs 48 --chunksize 1 --use-patch-diff 91ac8813ff12db552e7a3e14b5c5cd4d4f90f7a6..62532cf879ecb0f13d52cae2da44c22ce2504696 /bin/sh: line 1: ocamlfind: command not found Fatal error: exception Coccinelle_modules.Yes_prepare_ocamlcocci.CompileFailure("ocamlfind printconf stdlib has failed") coccicheck failed