Please check for false positives in the output before submitting a patch. When using "patch" mode, carefully review the patch before submitting it. /home/cocci/testing/drivers/net/ethernet/broadcom/bnxt/bnxt.c:5337:6-25: WARNING: atomic_dec_and_test variation before object free at line 5344. /bin/sh: line 1: ocamlfind: command not found Fatal error: exception Coccinelle_modules.Yes_prepare_ocamlcocci.CompileFailure("ocamlfind printconf stdlib has failed") coccicheck failed