On Mon, 21 Jul 2014, Riccardo Lucchese wrote:
> Hello,
>
> While testing a larger semantic patch I came across the following
> error:
> """
> init_defs_builtins: /usr/share/coccinelle/standard.h
> Fatal error: exception Failure("badly compiled mcode")
> """
>
> Here, I can reproduce it by running spatch --parse-cocci on the
> attached test.cocci.
>
> $ spatch --version
> spatch version 1.0.0-rc21 with Python support and with PCRE support
I can indeed reproduce it, although I have never seen that before. I will
look into it tomorrow. You can avoid the problem by disabling
isomorphisms, eg --iso-file empty.iso where empty.iso is an empty file.
But maybe you need isomorphisms for another rule...
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
