> > Can you try the following semantic patch (called eg nothing.cocci): > > > > @script:ocaml@ > > @@ > > > > () > > > > on any .c file, ie > > > > spatch --sp-file nothing.cocci test.c > > > > > Thanks for the simple test semantic patch! > > > > I noticed 1.0.4 is OK, > but 1.0.5 is NG > > I guess this is a problem on Coccinelle side. > > > I git-bisect:ed and the first bad commit bad was: > > > commit cd539cd12ad0674d5a8f4c33f6c21ae00aec8e57 > Author: Sébastien Hinderer <Sebastien.Hinderer@xxxxxxxx> > Date: Tue Mar 15 12:06:00 2016 +0100 > > Get rid of the --enable-release configure option. > > > > > $ spatch --version > spatch byte-code version 1.0.4-00212-g8238ba5 compiled with OCaml version 4.02.3 > Flags passed to the configure script: --prefix=/home/masahiro > Python scripting support: yes > Syntax of regular expresssions: PCRE > $ spatch --sp-file nothing.cocci kernel/kmod.c > init_defs_builtins: /home/masahiro/lib/coccinelle/standard.h > Using native version of ocamlc/ocamlopt/ocamldep > ocamlc.opt -c /tmp/ocaml_cocci_23600a.cmo -g -I /usr/lib/ocaml -I > /home/masahiro/lib/coccinelle/ocaml /tmp/ocaml_cocci_23600a.ml > Compilation OK! > Loading ML code of the SP... > HANDLING: kernel/kmod.c > $ spatch --version > spatch native version 1.0.4-00213-gcd539cd compiled with OCaml version 4.02.3 > Flags passed to the configure script: --prefix=/home/masahiro > Python scripting support: yes > Syntax of regular expresssions: PCRE > $ spatch --sp-file nothing.cocci kernel/kmod.c > init_defs_builtins: /home/masahiro/lib/coccinelle/standard.h > Using native version of ocamlc/ocamlopt/ocamldep > ocamlopt.opt -shared -o /tmp/ocaml_cocci_fdd282.cmxs -g -I > /usr/lib/ocaml -I /home/masahiro/lib/coccinelle/ocaml > /tmp/ocaml_cocci_fdd282.ml > Compilation OK! > Loading ML code of the SP... > implementation mismatch on Iteration > Fatal error: exception > Yes_prepare_ocamlcocci.LinkFailure("/tmp/ocaml_cocci_fdd282.cmxs") Thanks for the feedback. I will try to find out more about this. julia